An edition of Twenty-five years of constructive type theory (1998)

Twenty-five years of constructive type theory

proceedings of a congress held in Venice, October 1995

by and

Twenty-five years of constructive type theory
Giovanni Sambin, Jan M. Smith
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

Last edited by MARC Bot
March 24, 2026 | History
Edit
An edition of Twenty-five years of constructive type theory (1998)

Twenty-five years of constructive type theory

proceedings of a congress held in Venice, October 1995

by and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Clarendon Press, Oxford University Press
Language
English
Pages
283

Check nearby libraries

Buy this book

Subjects

Type theory Congresses
Edition Availability
Cover of: Twenty-five years of constructive type theory
Twenty-five years of constructive type theory: proceedings of a congress held in Venice, October 1995
1998, Clarendon Press, Oxford University Press
in English
Cover of: Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998, Oxford University Press, Incorporated
in English
Cover of: Twenty-Five Years of Constructive Type Theory
Twenty-Five Years of Constructive Type Theory
1998, Oxford University Press
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Oxford, New York
Series
Oxford logic guides ;, 36, Oxford science publications
Other Titles
25 years of constructive type theory

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.A1 T94 1998

The Physical Object

Pagination
vii, 283 p. ;
Number of pages
283

Edition Identifiers

Open Library
OL369318M
LCCN
98029962
OCLC/WorldCat
39368504
LibraryThing
2622435

Work Identifiers

Work ID
OL23671444W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation