Original contribution on proof theoretical methods in untyped theories of operations
Proof-theoretical methods in combinatory logic and lambda-calculus / P. MINARI. - STAMPA. - ILLC X-2005-01:(2005), pp. 148-157. (Intervento presentato al convegno CIE 2005 tenutosi a Amsterdam nel Luglio 2005).
Proof-theoretical methods in combinatory logic and lambda-calculus
MINARI, PIERLUIGI
2005
Abstract
Original contribution on proof theoretical methods in untyped theories of operations
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
