Using typed lambda calculus to implement formal systems on a machine
Avron, Arnon ; Honsell, Furio ; Mason, Ian A. ; Pollack, Robert
- Link zu diesem Datensatz
- https://d-nb.info/1307807615
- Titel
- Using typed lambda calculus to implement formal systems on a machine
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
- Autor(en)
-
- Avron, Arnon
- Honsell, Furio
- Mason, Ian A.
- Pollack, Robert
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 1992
- Umfang/Format
- Online-Ressource, 1 online resource.
- DOI
- 10.1007/BF00245294
- Online
- https://doi.org/10.1007/BF00245294
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Journal of automated reasoning
- Enthalten in: Journal of automated reasoning
- Enthalten in: Journal of automated reasoning
- Stand
- 30.10.2023 18:21
- Im Katalog seit
- 07.03.2026