codyroux

type	title	author	last post
Forum topic	Erasure and Polymorphism in Pure Type Systems Another reference by codyroux	gasche	2010-10-29 11:36
Forum topic	obj vs. ml vs. coq (fight?) Coq is not a traditionnal programming language by codyroux	raould	2010-10-05 14:48
Story	Omega - Language of the Future Type:Type by codyroux	Manuel J. Simoni	2010-10-01 13:17
Forum topic	Is lambda calculus a logic? You could also look at by codyroux	Patrick Browne	2010-07-23 21:42
Story	An intuitionistic logic that proves Markov's principle Yes by codyroux	neelk	2010-07-07 08:23
Forum topic	A lambda calculus with arbitrary set primitives Map theory by codyroux	Neil Toronto	2010-07-01 12:56

Lambda the Ultimate