Sold out

Extensional Constructs in Intensional Type Theory

English · Hardback

Description

Read more

About the author

Prof. Dr. Martin Hofmann, lehrt an der Ludwig-Maximilians-Universität München, Institut für Informatik, Theoretische Informatik, Germany.

Product details

Authors Martin Hofmann
Publisher Springer, Berlin
 
Languages English
Product format Hardback
Released 01.01.1997
 
EAN 9783540761211
ISBN 978-3-540-76121-1
No. of pages 214
Weight 496 g
Series Distinguished Dissertations
Subject Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.