Lucius T. Schoenbaum
From MaRDI portal
Person:3066778
Available identifiers
zbMath Open schoenbaum.lucius-tMaRDI QIDQ3066778
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Towards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic | 2018-02-28 | Paper |
| A Generalization of the Curry-Howard Correspondence | 2016-12-08 | Paper |
| Foundations of a Recent Extension of Category Theory and Topos Theory | 2016-12-08 | Paper |
| On the syntax of logic and set theory | 2011-01-12 | Paper |
Research outcomes over time
This page was built for person: Lucius T. Schoenbaum
