EPSRC logo
Researcher Details
 
Name: Dr N Gambino
Organisation: University of Leeds
Department: Pure Mathematics
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Fundamentals of Computing

Current EPSRC Support
EP/M01729X/1 Homotopy Type Theory: Programming and Verification(P)
Previous EPSRC Support
GR/R95975/01 CATEGORICAL LOGIC AND PROOF THEORY: REALIZABILITY INTERPRETATIONS FOR CONSTRUCTIVE THEORIES(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator