Cover Image
Read Now

1
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... domains, groupoids and linear logic -- Graded multicategories of polynomial-time realizers...”
Cover Image
Read Now

2
Published 2014
Springer Berlin Heidelberg
Table of Contents: “... Groupoids -- L-Completeness of the Lambek Calculus with the Reversal Operation Allowing Empty Antecedents...”
Cover Image
Read Now

3
Published 2016
Springer Berlin Heidelberg
Table of Contents: “... with an Application in Routing -- Computing with semirings and weak rig groupoids -- On Hierarchical Communication...”
Cover Image
Read Now

4
by Hofmann, Martin
Published 1997
Springer London
Table of Contents: “.... Extensionality and quotient types -- 5.1 The setoid model -- 5.2 The groupoid model -- 5.3 A dependent setoid...”
Cover Image
Read Now

5
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...-Support Encoding of CSP into SAT -- Groupoids and Conditional Symmetry --...”