nLab
Gérard Huet
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
home page
Wikipedia entry
Related entries
calculus of constructions
category:
people
Created on September 10, 2012 14:45:43 by
Urs Schreiber
(82.113.121.244)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
calculus of constructions