Metatheory of Q0

MaRDI QIDQ7361320FDO

Authors Javier Díaz

Publication date 4 November 2023

Cites work

• A transfinite type theory with type variables
• An introduction to mathematical logic and type theory: To truth through proof.

This page was built for software: Metatheory of Q0