Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

Browsing by Author Hofmann, Martin

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 3 of 3

Issue Date	Title	Author(s)	Supervisor(s)
Jan-2001	Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus	Hannay, Jo E	Sannella, Donald; Hofmann, Martin
Jul-1995	Extensional concepts in intensional type theory	Hofmann, Martin	Sannella, Donald; Plotkin, Gordon
Feb-1999	Type Systems For Polynomial-time Computation	Hofmann, Martin	-

Showing results 1 to 3 of 3