Normal view MARC view ISBD view

Domains and lambda-calculi

Material type: materialTypeLabel

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		511.3 AMA (Browse shelf)	Available		020990

Previous								Next
Previous	511.3 ACZ Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990	511.3 ADA Collision-Based Computing	511.3 AMA Elementary course in partial differential equations	511.3 AMA Domains and lambda-calculi	511.3 APP Alan Turing's systems of logic : the Princeton thesis	511.3 BEL Higher-order logic and type theory	511.3 BEN Basic category theory for computer scientists	Next

There are no comments for this item.

Koha online