Equivalence between illative combinatorry logics and pure type systems

M. Bunder, W. Dekkers, J.H. Geuvers

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

1 Downloads (Pure)

Original language	English
Title of host publication	Sequent calculus and Kripke semantics for non-classical logics
Editors	T. Shimura
Place of Publication	Kyoto
Publisher	RIMS
Pages	119-135
Publication status	Published - 1997

Name	RIMS Kokyuroku
Volume	1021

Cite this

@inproceedings{60943ae86b284958bff4f82c388d2de6,

title = "Equivalence between illative combinatorry logics and pure type systems",

author = "M. Bunder and W. Dekkers and J.H. Geuvers",

year = "1997",

language = "English",

series = "RIMS Kokyuroku",

publisher = "RIMS",

pages = "119--135",

editor = "T. Shimura",

booktitle = "Sequent calculus and Kripke semantics for non-classical logics",

}

Equivalence between illative combinatorry logics and pure type systems. / Bunder, M.; Dekkers, W.; Geuvers, J.H.
Sequent calculus and Kripke semantics for non-classical logics. ed. / T. Shimura. Kyoto: RIMS, 1997. p. 119-135 (RIMS Kokyuroku; Vol. 1021).

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