Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for Selected papers on Automath
Selected papers on Automath
Author 
Nederpelt, R. P. (Rob P.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898227
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for A Modern Perspective on Type Theory From its Origins until Today
A Modern Perspective on Type Theory From its Origins until Today
Author 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Availability 
Online Library~1
Available:
Copies: