Lambda the Ultimate

type	title	author	last post
Forum topic	Examples of Categorical Semantics for Languages with Dependent Types Thanks for the pointer, this by Thorvaldur Thorvaldsson Categorical Logic and Type Theory by Bart Jacobs by Thorvaldur Thorvaldsson	echinuz	2007-09-08 02:04

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation