Models and theories of lambda-calculus

DSpace/Manakin Repository

Models and theories of lambda-calculus

Manzonetto, Giulio <1980>
Use this identifier to cite or link to this document: http://hdl.handle.net/10579/575
Publisher: Università Ca' Foscari Venezia
Date: 2008-02-18
Copyright: © Giulio Manzonetto, 2008
Accesso locale (tesi cartacea)

Show full item record

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)