Jørgen Villadsen. Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. Journal of Applied Non-Classical Logics, 15(1):45-58, 2005.
@article{Villadsen05,
title = {Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency},
author = {Jørgen Villadsen},
year = {2005},
tags = {logic, type theory},
researchr = {https://researchr.org/publication/Villadsen05},
cites = {0},
citedby = {0},
journal = {Journal of Applied Non-Classical Logics},
volume = {15},
number = {1},
pages = {45-58},
}