Strong normalization in core type theory

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review

Original language	English
Title of host publication	The Logica Yearbook 2019
Editors	Igor Sedlár, Martin Blicha
Place of Publication	Rickmansworth UK
Publisher	College Publishing
Pages	111-130
Number of pages	19
ISBN (Print)	9781848903272
Publication status	Published - 2020
Event	LOGICA 2019: 33rd Annual International Symposia - Hejnice Monestery, Hejnice, Czechia Duration: 24 Jun 2020 → 28 Jun 2021 http://logika.flu.cas.cz/en/events/logica/23-dokumenty/449-logica-2019

Conference	LOGICA 2019
Country/Territory	Czechia
City	Hejnice
Period	24/06/20 → 28/06/21
Internet address	http://logika.flu.cas.cz/en/events/logica/23-dokumenty/449-logica-2019

Cite this

@inproceedings{5be354a33da04235b571fa80ef26ab66,

title = "Strong normalization in core type theory",

author = "David Ripley",

year = "2020",

language = "English",

isbn = "9781848903272",

pages = "111--130",

editor = "Igor Sedl{\'a}r and Martin Blicha",

booktitle = "The Logica Yearbook 2019",

publisher = "College Publishing",

note = "LOGICA 2019 : 33rd Annual International Symposia ; Conference date: 24-06-2020 Through 28-06-2021",

url = "http://logika.flu.cas.cz/en/events/logica/23-dokumenty/449-logica-2019",

}