nLab
Frank Pfenning
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
webpage
category:
people
Created on September 10, 2012 21:18:46 by
Urs Schreiber
(131.174.188.17)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
modal logic
,
bracket type
,
sequent
,
logical framework
,
judgment
,
natural deduction
,
Elf
,
modal type theory