1 citations · 2 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.CT2018
Towards Theory and Applications of Generalized Categories to Areas of Type Theory and Categorical Logic
Lucius T. Schoenbaum
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongo…
physics.soc-ph2018★ 1 cited
Simulations to Analyze Cellular Voting Systems for Side Effects of Democratic Redistricting
Lucius T. Schoenbaum
Motivated by the problem of partisan gerrymandering, we introduce an electoral system for a representative democracy called democratic cellular voting, designed to make modern pack…