Equivalence between illative combinatorry logics and pure type systems

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

1 Downloads (Pure)

Originele taal-2	Engels
Titel	Sequent calculus and Kripke semantics for non-classical logics
Redacteuren	T. Shimura
Plaats van productie	Kyoto
Uitgeverij	RIMS
Pagina's	119-135
Status	Gepubliceerd - 1997

Naam	RIMS Kokyuroku
Volume	1021

Citeer dit

@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. reds. / T. Shimura. Kyoto: RIMS, 1997. blz. 119-135 (RIMS Kokyuroku; Vol. 1021).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review