Extending models of second order predicate logic to models of second order dependent type theory

J.H. Geuvers

doi:10.1007/3-540-63172-0_38

Extending models of second order predicate logic to models of second order dependent type theory

J.H. Geuvers

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Computer Science Logic (Proceedings 10th International Workshop, CSL'96, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers)
Editors	D. Dalen, van, M. Bezem
Place of Publication	Berlin
Publisher	Springer
Pages	167-181
ISBN (Print)	3-540-63172-0
DOIs	https://doi.org/10.1007/3-540-63172-0_38
Publication status	Published - 1997

Publication series

Name	Lecture Notes in Computer Science
Volume	1258
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-63172-0_38

Cite this

Geuvers, J. H. (1997). Extending models of second order predicate logic to models of second order dependent type theory. In D. Dalen, van, & M. Bezem (Eds.), Computer Science Logic (Proceedings 10th International Workshop, CSL'96, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers) (pp. 167-181). (Lecture Notes in Computer Science; Vol. 1258). Springer. https://doi.org/10.1007/3-540-63172-0_38

@inproceedings{25121650bbc24ad689283471c49849fc,

title = "Extending models of second order predicate logic to models of second order dependent type theory",

author = "J.H. Geuvers",

year = "1997",

doi = "10.1007/3-540-63172-0_38",

language = "English",

isbn = "3-540-63172-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "167--181",

editor = "{Dalen, van}, D. and M. Bezem",

booktitle = "Computer Science Logic (Proceedings 10th International Workshop, CSL'96, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers)",

address = "Germany",

}

Geuvers, JH 1997, Extending models of second order predicate logic to models of second order dependent type theory. in D Dalen, van & M Bezem (eds), Computer Science Logic (Proceedings 10th International Workshop, CSL'96, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers). Lecture Notes in Computer Science, vol. 1258, Springer, Berlin, pp. 167-181. https://doi.org/10.1007/3-540-63172-0_38

Extending models of second order predicate logic to models of second order dependent type theory. / Geuvers, J.H.
Computer Science Logic (Proceedings 10th International Workshop, CSL'96, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers). ed. / D. Dalen, van; M. Bezem. Berlin: Springer, 1997. p. 167-181 (Lecture Notes in Computer Science; Vol. 1258).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Extending models of second order predicate logic to models of second order dependent type theory

AU - Geuvers, J.H.

PY - 1997

Y1 - 1997

U2 - 10.1007/3-540-63172-0_38

DO - 10.1007/3-540-63172-0_38

M3 - Conference contribution

SN - 3-540-63172-0

T3 - Lecture Notes in Computer Science

SP - 167

EP - 181

BT - Computer Science Logic (Proceedings 10th International Workshop, CSL'96, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers)

A2 - Dalen, van, D.

A2 - Bezem, M.

PB - Springer

CY - Berlin

ER -

Geuvers JH. Extending models of second order predicate logic to models of second order dependent type theory. In Dalen, van D, Bezem M, editors, Computer Science Logic (Proceedings 10th International Workshop, CSL'96, Utrecht, The Netherlands, September 21-27, 1996, Selected Papers). Berlin: Springer. 1997. p. 167-181. (Lecture Notes in Computer Science). doi: 10.1007/3-540-63172-0_38