105
click to vote
LFCS
2016
Springer
10 years 25 days ago
2016
Springer
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...
128
click to vote
LFCS
2016
Springer
10 years 25 days ago
2016
Springer
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...
214
click to vote
LFCS
2016
Springer
10 years 25 days ago
2016
Springer
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...
127
click to vote
LATIN
2016
Springer
10 years 25 days ago
2016
Springer
We consider drawings of graphs in the plane in which edges are represented by polygonal paths with at most one bend and the number of different slopes used by all segments of thes...