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.