Girard,Jean-Yves

Addition

,

Title

Proofs and Types

Author Statement

Jean-Yves Girard,Paul Taylor,Yves Lafont

Publication

Cambridge university press

Collation

176 p

Index

Index

Subject

ADDED ENTRIES

AU Taylor,Paul joint author , AU Lafont ,Yves joint author , joint author , joint author , joint author , joint author

LC Class

QA

LC Number

303

LC CutterNumber

.G4,P5

وارد کنندة اطلاعات

jannati

تاريخ ورود اطلاعات

1388/09/03

ISBNN

0521371813 ,

Bibliography

Includes bibliographical references :p.162-165

Published_Year

1990

Link To Document :