Cover Image

A modern perspective on type theory : from its origins until today /

Show other versions (1)
Bibliographic Details
Main Author: Kamareddine, Fairouz D.
Other Authors: Laan, Twan, Nederpelt, R. P. (Rob P.)
Format: Book
Language:English
Published: Dordrecht ; Boston : Kluwer Academic Publishers, [2004]
Series:Applied logic series ; v. 29.
Subjects:
Type theory.
Description
Physical Description:xiv, 357 pages ; 25 cm.
Bibliography:Includes bibliographical references (pages 337-348) and indexes.
ISBN:1402023340 (alk. paper)
1402023359 (e-book)