Edinburgh Research Archive: Browsing ERA

Edinburgh Research Archive

Browsing by Author Turi, Daniele

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

Issue Date	Title	Author(s)	Supervisor(s)
6-Nov-2003	Abstract Syntax and Variable Binding (Extended Abstract)	Fiore, Marcelo P; Plotkin, Gordon; Turi, Daniele	-
5-Nov-2003	Towards a Mathematical Operational Semantics	Plotkin, Gordon; Turi, Daniele	-

Showing results 1 to 2 of 2