Strong normalization in core type theory

Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

Original languageEnglish
Title of host publicationThe Logica Yearbook 2019
EditorsIgor Sedlár, Martin Blicha
Place of PublicationRickmansworth UK
PublisherCollege Publishing
Pages111-130
Number of pages19
ISBN (Print)9781848903272
Publication statusPublished - 2020
EventLOGICA 2019: 33rd Annual International Symposia - Hejnice Monestery, Hejnice, Czech Republic
Duration: 24 Jun 202028 Jun 2021
http://logika.flu.cas.cz/en/events/logica/23-dokumenty/449-logica-2019

Conference

ConferenceLOGICA 2019
Country/TerritoryCzech Republic
CityHejnice
Period24/06/2028/06/21
Internet address

Cite this