From Church Wiki
Revision as of 15:40, 2 November 2011 by Andreas Stuhlmueller (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The following papers are in chronological order. Note that publications in theoretical computer science and mathematical logic and other areas will have alphabetized author lists.

Related work

Personal tools