E-LIB Suche - Ergebnisse für: Cockett, Robin

1

Compact Inverse Categories:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Cockett, Robin ; Heunen, Chris - p. 813-832 , 2023

Link: https://doi.org/10.1007/..

2

Dagger linear logic for categorical quantum mechanics:

Cockett, Robin ; Comfort, Cole ; Srinivasan, Priyaa
Logical Methods in Computer Science. 17, Issue 4 (2021) - p. , 2021

Link: https://doi.org/10.46298..

3

Generalising the étale groupoid–complete pseudogroup corres..:

Cockett, Robin ; Garner, Richard
Advances in Mathematics. 392 (2021) - p. 108030 , 2021

Link: https://doi.org/10.1016/..

4

Categorical models of the differential λ-calculus:

Cockett, Robin ; Gallagher, Jonathan
Mathematical Structures in Computer Science. 29 (2019) 10 - p. 1513-1555 , 2019

Link: https://doi.org/10.1017/..

5

Finiteness Spaces and Generalized Power Series:

Blute, Richard ; Cockett, Robin ; Jacqmin, Pierre-Alain.
Electronic Notes in Theoretical Computer Science. 341 (2018) - p. 5-22 , 2018

Link: https://doi.org/10.1016/..

6

Safe recursion revisited I: Categorical semantics for lower..:

Burrell, Mike ; Cockett, Robin ; Redmond, Brian
Theoretical Computer Science. 515 (2014) - p. 19-45 , 2014

Link: https://doi.org/10.1016/..

7

Restriction categories as enriched categories:

Cockett, Robin ; Garner, Richard
Theoretical Computer Science. 523 (2014) - p. 37-55 , 2014

Link: https://doi.org/10.1016/..

8

Timed Sets, Functional Complexity, and Computability:

Cockett, Robin ; Díaz-Boïls, Joaquín ; Gallagher, Jonathan.
Electronic Notes in Theoretical Computer Science. 286 (2012) - p. 117-137 , 2012

Link: https://doi.org/10.1016/..

9

A Categorical Setting for Lower Complexity:

Cockett, Robin ; Redmond, Brian F.
Electronic Notes in Theoretical Computer Science. 265 (2010) - p. 277-300 , 2010

Link: https://doi.org/10.1016/..

10

Unitary Theories, Unitary Categories:

Hofstra, Pieter ; Cockett, Robin
Electronic Notes in Theoretical Computer Science. 265 (2010) - p. 11-33 , 2010

Link: https://doi.org/10.1016/..

11

Boolean and classical restriction categories:

COCKETT, ROBIN ; MANES, ERNIE
Mathematical Structures in Computer Science. 19 (2009) 2 - p. 357-416 , 2009

Link: https://doi.org/10.1017/..

12

Restriction categories III: colimits, partial limits and ex..:

COCKETT, ROBIN ; LACK, STEPHEN
Mathematical Structures in Computer Science. 17 (2007) 4 - p. 775-817 , 2007

Link: https://doi.org/10.1017/..

13

Induction, Coinduction, and Adjoints:

Cockett, Robin ; Santocanale, Luigi
Electronic Notes in Theoretical Computer Science. 69 (2003) - p. 101-119 , 2003

Link: https://doi.org/10.1016/..

14

Deforestation, program transformation, and cut-elimination:

Cockett, Robin
Electronic Notes in Theoretical Computer Science. 44 (2001) 1 - p. 88-127 , 2001

Link: https://doi.org/10.1016/..

15

Strong categorical datatypes II: A term logic for categoric..:

Cockett, J.Robin B. ; Spencer, Dwight
Theoretical Computer Science. 139 (1995) 1-2 - p. 69-113 , 1995

Link: https://doi.org/10.1016/..