EPSRC logo
Researcher Details
 
Name: Dr V De Paiva
Organisation: University of Birmingham
Department: School of Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
GR/M21768/01 COMPUTATIONAL INVESTIGATION OF FULL INTUITIONISTIC LINEAR LOGIC(P)
GR/L28296/01 XSLAM - THE EXPLICIT SUBSTITUTION LINEAR ABSTRACT MACHINE(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator