1 citations · 2 across the 8 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016★ 1 cited
A Generalization of the Curry-Howard Correspondence
Lucius Schoenbaum
We present a variant of the calculus of deductive systems developed in (Lambek 1972, 1974), and give a generalization of the Curry-Howard-Lambek theorem giving an equivalence betwe…
math.CT2016
Foundations of a Recent Extension of Category Theory and Topos Theory
Lucius T. Schoenbaum
This article is an introduction to the basic generalized category theory used in recent work on an extension of the theory of categories and categorical logic, including parts of t…
cs.AI2016
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface
Lucius Schoenbaum
A visual type theory is a cognitive tool that has much in common with language, and may be regarded as an exceptional form of spatial text adjunct. A mathematical visual type theor…