Skip to main content

Steven Ramsay

Personal photo - Steven Ramsay

Steven Ramsay

Researcher

E: steven.ramsay@cs.ox.ac.uk
T: +44 (0)1865 283596

Room 351, Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

I am generally interested in logic, semantics and the lambda calculus and specifically in type systems for the analysis of higher-order programs.

Teaching

Lambda Calculus and Types: Hilary Term 2016, Hilary Term 2017

Selected Publications

View AllManage publications