Sciweavers

Share
5 search results - page 1 / 1
» lfcs 2016
Sort
View
LFCS
2016
Springer
4 years 3 months ago
Parallel Feedback Turing Computability
In contrast to most kinds of computability studied in mathematical logic, feedback computability has a non-degenerate notion of parallelism. Here we study parallelism for the most...
Robert S. Lubarsky
LFCS
2016
Springer
4 years 3 months ago
Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization
We investigate (co-)induction in Classical Logic under the propositions-as-types paradigm, considering propositional, second-order, and (co-)inductive types. Specifically, we intr...
Marco Devesas Campos, Marcelo P. Fiore
LFCS
2016
Springer
4 years 3 months ago
Type Theoretical Databases
Abstract. We present a soundness theorem for a dependent type theory with context conith respect to an indexed category of (finite, abstract) simplical complexes. The point of int...
Henrik Forssell, Håkon Robbestad Gylterud, D...
LFCS
2016
Springer
4 years 3 months ago
Adjoint Logic with a 2-Category of Modes
We generalize the adjoint logics of Benton and Wadler (1996) and Reed (2009) to allow multiple different adjunctions between the same categories. This provides insight into the str...
Daniel R. Licata, Michael Shulman
books