Spyros Komninos

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance Avigad's proof of prime number theorem by Spyros Komninos	shap	2016-11-24 01:04
Story	Patterns in Functional Programming apropos functional programming patterns by Spyros Komninos	Ehud Lamm	2011-05-18 11:43
Forum topic	A simple class of Kripke-style models in which logic and computation have equal standing affinity with Curry Howard ? by Spyros Komninos	dpmulligan	2010-07-24 15:34
Forum topic	Is lambda calculus a logic? Not Barendregts "bible" by Spyros Komninos	Patrick Browne	2010-07-23 21:42
Forum topic	The Myth of the Genius Programmer Richard Gabriel on genius programmers by Spyros Komninos	Leon P Smith	2010-03-14 16:23
Forum topic	most water-tight real-world language implementation? John Knight and Nancy Leveson by Spyros Komninos	raould	2010-01-15 23:08
Forum topic	The deBrujin Criterion and the "LCF Approach". Randy Pollak and supporters of HOL think like you ... by Spyros Komninos Systems following the LCF are an instance of the criterion by Spyros Komninos	Jason Dusek	2009-04-29 22:57
Forum topic	Dynamic Logic There was - is another book by Spyros Komninos	Hank Thediek	2009-03-08 14:12

Lambda the Ultimate