<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2008-05-01 19:55:27Lambda calculus Computability theory Logic in computer science Model theory Proof theory Combinatory logic Haskell Curry Stephen Cole Kleene Type theory Mathematics Mathematical logic Logic |
| CSL’09 — Coimbra Informal Presentations Thursday, Sept 10 14:00–14:25 14:25–14:50DocID: 12fRI - View Document |
| Microsoft Word - Poster-PeterC.docDocID: DAm7 - View Document |
| A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events Dexter Kozen Department of Computer Science Cornell UniversityDocID: 996t - View Document |
| Checking Format Compatibility of Programs Using Automata ByDocID: 4qt6 - View Document |
| PDF DocumentDocID: 1CIe - View Document |