Lucius Schoenbaum

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 3

Top Topics

Computer Algebra

Mathematical Modeling

Top Venues

FM4M/MathUI/ThEdu/DP/WIP@CIKM

Publications

Lucius Schoenbaum
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Lucius Schoenbaum
Towards Visual Type Theory as a Mathematical Tool and Mathematical User Interface. CoRR (2016)
Lucius Schoenbaum
A Generalization of the Curry-Howard Correspondence. CoRR (2016)
Lucius Schoenbaum
On the Syntax of Logic and Set Theory. Rev. Symb. Log. 3 (4) (2010)