ROS Theses Repository
Toggle navigation
View Item
ROS Home
Mathematical & Computer Sciences
Doctoral Theses (Mathematical & Computer Sciences)
View Item
ROS Home
Mathematical & Computer Sciences
Doctoral Theses (Mathematical & Computer Sciences)
View Item
ROS Home
Mathematical & Computer Sciences
Doctoral Theses (Mathematical & Computer Sciences)
View Item
Toggle navigation
Admin
JavaScript is disabled for your browser. Some features of this site may not work without it.
The primitive proof theory of the lambda-calculus
Date
2003
Author
Vestergaard, Rene
Metadata
Show full item record
URI
http://hdl.handle.net/10399/415
Collections
Doctoral Theses (Mathematical & Computer Sciences)
Search ROS
This Collection
Browse
All of ROS
Communities & Collections
By Issue Date
Authors
Titles
This Collection
By Issue Date
Authors
Titles
ROS Administrator
Login
Register
