Thierry Coquand, Yoshiki Kinoshita, Bengt Nordström, Makoto Takeyama. A simple type-theoretic language: Mini-TT. From Semantics to Computer Science; Essays in Honour of Gilles Kahn, :139-164, 2009.
@article{coquand2009simple,
title = {A simple type-theoretic language: Mini-TT},
author = {Thierry Coquand and Yoshiki Kinoshita and Bengt Nordström and Makoto Takeyama},
year = {2009},
researchr = {https://researchr.org/publication/coquand2009simple},
cites = {0},
citedby = {0},
journal = {From Semantics to Computer Science; Essays in Honour of Gilles Kahn},
pages = {139-164},
}