Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

The University of Edinburgh crest

	Home

Browse
	Communities & Collections
	Issue Date
	Author
	Title
	Subject
	Publication Type

Sign on to:
	Receive email updates
	My ERA authorized users
	Edit Profile


	About DSpace

Edinburgh Research Archive >

Browsing by Author Fiore, Marcelo P

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 5 of 5

Issue Date	Title	Author(s)	Supervisor(s)
6-Nov-2003	Abstract Syntax and Variable Binding (Extended Abstract)	Fiore, Marcelo P; Plotkin, Gordon; Turi, Daniele	-
Nov-1994	Axiomatic Domain Theory in Categories of Partial Maps	Fiore, Marcelo P	Plotkin, Gordon; Jay, Barry; Power, John
1994	An Axiomatisation of Computationally Adequate Domain Theoretic Models of FPC	Fiore, Marcelo P; Plotkin, Gordon	-
6-Nov-2003	Complete Cuboidal Sets in Axiomatic Domain Theory (Extended Abstract)	Fiore, Marcelo P; Plotkin, Gordon; Power, John	-
5-Nov-2003	An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory	Plotkin, Gordon; Fiore, Marcelo P	-

Showing results 1 to 5 of 5

Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh 2013, and/or the original authors. Privacy and Cookies Policy