Our research
Our people
Site map
About us
Contact us
Twitter
Flickr
Del.icio.us
Stumble Upon
www.cs.ox.ac.uk/publications/publication874-abstract.html
You are here:
Home
Research
Publications
DPhil transfer thesis: The Safe Lambda Calculus
DPhil transfer thesis: The Safe Lambda Calculus
William Blum
Details
Year
August 2006
Links
BibTeX
Download (pdf)
Related pages
Main sections
Home
Prospective Students
Current Students
Research
People
News
Events
Vacancies & Studentships
Contact Us
Alumni
Industry Liaison
RSS Feeds
News
News
All news
Awards
Events
Miscellaneous
Project news
Publications
Current Projects
Vacancies & studentships
Vacancies & studentships
Vacancies
Studentships
Calendars
Seminars & timetables
Seminars & timetables
All Seminars
Lecture timetable
Practical timetable
Class timetable
Internal
Internal / Intranet
Edit website / database login
IT Support
