Proof theoretic approach to the extraction of redundancy-free realizer codes

Bibliographische Detailangaben

1. Verfasser:	Takayama, Yukihide (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Tokyo, Japan 1988
Schriftenreihe:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 395
Schlagworte:	Constructive mathematics Proof theory
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!