A Construction of Typed Lambda Models Related to Feasible Computability

Vladimir Yu Sazonov; Andrei Voronkov; Georg Gottlob; Alexander Leitsch; Daniele Mundici

A Construction of Typed Lambda Models Related to Feasible Computability

Vladimir Yu Sazonov, Andrei Voronkov, Georg Gottlob (Editor), Alexander Leitsch (Editor), Daniele Mundici (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Kurt Gödel Colloquium
Editors	Georg Gottlob, Alexander Leitsch, Daniele Mundici
Publisher	Springer Nature
Pages	301-312
Number of pages	12
Volume	713
ISBN (Print)	3-540-57184-1
Publication status	Published - 1993
Event	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#SazonovV93http://dblp.uni-trier.de/rec/bibtex/conf/kgc/SazonovV93.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/kgc/SazonovV93

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#SazonovV93http://dblp.uni-trier.de/rec/bibtex/conf/kgc/SazonovV93.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/kgc/SazonovV93

Access to Document

Cite this

Sazonov, V. Y., Voronkov, A., Gottlob, G. (Ed.), Leitsch, A. (Ed.), & Mundici, D. (Ed.) (1993). A Construction of Typed Lambda Models Related to Feasible Computability. In G. Gottlob, A. Leitsch, & D. Mundici (Eds.), Kurt Gödel Colloquium (Vol. 713, pp. 301-312). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#SazonovV93

@inproceedings{6c249c5518844948afbd785edf1e6e1c,

title = "A Construction of Typed Lambda Models Related to Feasible Computability",

author = "Sazonov, {Vladimir Yu} and Andrei Voronkov and Georg Gottlob and Alexander Leitsch and Daniele Mundici",

year = "1993",

language = "English",

isbn = "3-540-57184-1",

volume = "713",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "301--312",

editor = "Georg Gottlob and Alexander Leitsch and Daniele Mundici",

booktitle = "Kurt G{\"o}del Colloquium",

address = "United States",

note = "Computational Logic and Proof Theory, Third Kurt G{\"o}del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#SazonovV93http://dblp.uni-trier.de/rec/bibtex/conf/kgc/SazonovV93.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/kgc/SazonovV93",

}

Sazonov, VY, Voronkov, A, Gottlob, G (ed.), Leitsch, A (ed.) & Mundici, D (ed.) 1993, A Construction of Typed Lambda Models Related to Feasible Computability. in G Gottlob, A Leitsch & D Mundici (eds), Kurt Gödel Colloquium. vol. 713, Lecture Notes in Computer Science, Springer Nature, pp. 301-312, Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/kgc/kgc93.html#SazonovV93>

A Construction of Typed Lambda Models Related to Feasible Computability. / Sazonov, Vladimir Yu; Voronkov, Andrei; Gottlob, Georg (Editor) et al.
Kurt Gödel Colloquium. ed. / Georg Gottlob; Alexander Leitsch; Daniele Mundici. Vol. 713 Springer Nature, 1993. p. 301-312 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

T1 - A Construction of Typed Lambda Models Related to Feasible Computability

AU - Sazonov, Vladimir Yu

AU - Voronkov, Andrei

A2 - Gottlob, Georg

A2 - Leitsch, Alexander

A2 - Mundici, Daniele

A2 - Gottlob, Georg

A2 - Leitsch, Alexander

A2 - Mundici, Daniele

PY - 1993

Y1 - 1993

M3 - Conference contribution

SN - 3-540-57184-1

VL - 713

T3 - Lecture Notes in Computer Science

SP - 301

EP - 312

BT - Kurt Gödel Colloquium

PB - Springer Nature

T2 - Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings

Y2 - 1 January 1824

ER -