Dependent event types

DOI10.1007/978-3-662-55386-2_15zbMath1496.03056OpenAlexW4324128305MaRDI QIDQ1685927

Zhaohui Luo, Serguei V. Solov'ev

Publication date: 20 December 2017

Full work available at URL: http://oatao.univ-toulouse.fr/19101/1/luo_19101.pdf

Mathematics Subject Classification ID

Type theory (03B38)

Related Items (1)

Proof Assistants for Natural Language Semantics

This page was built for publication: Dependent event types