Etude des réductions dans le lambda-calcul et la logique combinatoire
No Thumbnail Available
Files
Date
1992
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
77 p. ; 30 cm. (+ microfiche)
Keywords
Informatique, logique combinatoire, Lambda-calcul,