Posts By: Spyros Komninos
| Date | Post | Topic |
| 04/21/2011 | apropos functional programming patterns | Patterns in Functional Programming |
| 07/21/2010 | Not Barendregts "bible" | Is lambda calculus a logic? |
| 07/14/2010 | affinity with Curry Howard ? | A simple class of Kripke-style models in which logic and computation have equal standing |
| 03/18/2010 | Avigad's proof of prime number theorem | On the (Alleged) Value of Proof for Assurance |
| 12/31/2009 | John Knight and Nancy Leveson | most water-tight real-world language implementation? |
| 06/06/2009 | Richard Gabriel on genius programmers | The Myth of the Genius Programmer |
| 04/21/2009 | Systems following the LCF are an instance of the criterion | The deBrujin Criterion and the "LCF Approach". |
| 04/25/2009 | Randy Pollak and supporters of HOL think like you ... | The deBrujin Criterion and the "LCF Approach". |
| 03/05/2009 | There was - is another book | Dynamic Logic |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |