Homepage of Pieter Hofstra
Contact Information
Pieter Hofstra
Department of Computer Science
University of Calgary
2500 University Drive, N.W.
Calgary, AB, T2N 1N4
Canada
Tel. (403) 210 9403
Email: hofstrap@cpsc.ucalgary.ca
Teaching
Fall 2006: CPSC 513,
Computability Theory
Research Interests
Category Theory, Logic, Realizability, Higher Categories, Partial
Combinatory Algebras, models of the Lambda calculus.