Programming in Martin-Lof's type theory : an introduction /

Bibliographic Details
Main Author: Nordström, Bengt
Other Authors: Petersson, Kent, Smith, Jan M.
Format: Book
Language:English
Published: Oxford : Clarendon Press, 1990.
Series:International series of monographs on computer science ; v. 7
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908121939.0
008 100629s1990 enk||||| |||| 00| 0 eng d
020 |a 0198538146 
040 |a AR_CdUFM 
100 1 |9 12481  |a Nordström, Bengt. 
245 1 0 |a Programming in Martin-Lof's type theory :   |b an introduction /   |c Bengt Nordström, Kent Petersson, Jan M. Smith. 
260 |a Oxford :   |b Clarendon Press,   |c 1990. 
300 |a x, 221 p. ;  |c 24 cm. 
490 0 |a International series of monographs on computer science ;   |v v. 7 
504 |a Includes bibliographical references (p. [203]-211) and index. 
650 4 |a Lógica y significado de programas.  
650 4 |a Lógica matemática. 
650 4 |a Logics and meanings of programs.  
650 4 |a Mathematical logic. 
700 1 |9 13356  |a Petersson, Kent. 
700 1 |9 16211  |a Smith, Jan M. 
942 |c LIBRO 
945 |a MCR 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F3_N832  |7 0  |9 1714  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e CIEM  |l 2  |o C F3 N832   |p 10699  |r 2023-01-24 00:00:00  |s 2017-05-05  |w 2008-06-09  |y LIBRO 
999 |c 1453  |d 1453