Sciweavers

33 search results - page 1 / 7
» lics 2005
Sort
View
77
Voted
LICS
2005
IEEE
15 years 7 months ago
The Geometry of Linear Higher-Order Recursion
Ugo Dal Lago
LICS
2005
IEEE
15 years 7 months ago
Constructing Free Boolean Categories
François Lamarche, Lutz Straßburger