CUFinder

Robin Cockett

Robin Cockett

University of Calgary

H-index: 28

North America-Canada

Contact Robin Cockett

About Robin Cockett

Robin Cockett, With an exceptional h-index of 28 and a recent h-index of 18 (since 2020), a distinguished researcher at University of Calgary, specializes in the field of differential categories, linear logic, semantics of programming, category theory.

His recent articles reflect a diverse array of research interests and contributions to the field:

Drazin Inverses in Categories

Moore-Penrose Dagger Categories

Compact inverse categories

Classical Distributive Restriction Categories

Notes on evaluating λ-calculus terms and abstract machines

Normalizing Resistor Networks

Extending Resource Monotones using Kan Extensions

Categories of Kirchhoff relations

Robin Cockett Information

University

Position

Professor of Computer Science

Citations(all)

3279

Citations(since 2020)

1067

Cited By

2663

hIndex(all)

28

hIndex(since 2020)

18

i10Index(all)

65

i10Index(since 2020)

28

Email

University Profile Page

Google Scholar

Robin Cockett Skills & Research Interests

differential categories

linear logic

semantics of programming

category theory

Top articles of Robin Cockett

Drazin Inverses in Categories

arXiv preprint arXiv:2402.18226

2024/2/28

Robin Cockett
Robin Cockett

H-Index: 15

Priyaa Varshinee Srinivasan
Priyaa Varshinee Srinivasan

H-Index: 3

Moore-Penrose Dagger Categories

arXiv preprint arXiv:2308.16497

2023/8/31

Robin Cockett
Robin Cockett

H-Index: 15

Compact inverse categories

2023/8/2

Robin Cockett
Robin Cockett

H-Index: 15

Classical Distributive Restriction Categories

arXiv preprint arXiv:2305.16524

2023/5/25

Robin Cockett
Robin Cockett

H-Index: 15

Notes on evaluating λ-calculus terms and abstract machines

2023/3/29

Normalizing Resistor Networks

arXiv preprint arXiv:2303.11839

2023/3/20

Robin Cockett
Robin Cockett

H-Index: 15

Amolak Ratan Kalra
Amolak Ratan Kalra

H-Index: 1

Priyaa Varshinee Srinivasan
Priyaa Varshinee Srinivasan

H-Index: 3

Extending Resource Monotones using Kan Extensions

arXiv preprint arXiv:2206.09784

2022/6/20

Robin Cockett
Robin Cockett

H-Index: 15

Carlo Maria Scandolo
Carlo Maria Scandolo

H-Index: 11

Priyaa Varshinee Srinivasan
Priyaa Varshinee Srinivasan

H-Index: 3

Categories of Kirchhoff relations

arXiv preprint arXiv:2205.05870

2022/5/12

Robin Cockett
Robin Cockett

H-Index: 15

Amolak Ratan Kalra
Amolak Ratan Kalra

H-Index: 1

Shiroman Prakash
Shiroman Prakash

H-Index: 11

Generalising the étale groupoid–complete pseudogroup correspondence

Advances in Mathematics

2021/12/3

Robin Cockett
Robin Cockett

H-Index: 15

Richard Garner
Richard Garner

H-Index: 6

Dagger linear logic for categorical quantum mechanics

Logical Methods in Computer Science

2021/11/16

Robin Cockett
Robin Cockett

H-Index: 15

Differential equations in a tangent category i: Complete vector fields, flows, and exponentials

Applied Categorical Structures

2021/10

Exponential modalities and complementarity

arXiv preprint arXiv:2103.05191

2021/3/9

Robin Cockett
Robin Cockett

H-Index: 15

Priyaa Varshinee Srinivasan
Priyaa Varshinee Srinivasan

H-Index: 3

Linearizing combinators

arXiv preprint arXiv:2010.15490

2020/10/29

Robin Cockett
Robin Cockett

H-Index: 15

Latent Fibrations: Fibrations for Categories of Partial Maps

arXiv preprint arXiv:2010.15182

2020/10/28

Robin Cockett
Robin Cockett

H-Index: 15

Geoff Cruttwell
Geoff Cruttwell

H-Index: 8

Differential categories revisited

Applied Categorical Structures

2020/4

28th EACSL Annual Conference on Computer Science Logic (CSL 2020)

2020

Véronique Cortier
Véronique Cortier

H-Index: 24

Anuj Dawar
Anuj Dawar

H-Index: 17

Artur Jeż
Artur Jeż

H-Index: 14

Eduardo Bonelli
Eduardo Bonelli

H-Index: 7

Roberto Maieli
Roberto Maieli

H-Index: 3

Dana Angluin
Dana Angluin

H-Index: 27

Orna Kupferman
Orna Kupferman

H-Index: 26

Paul Brunet
Paul Brunet

H-Index: 7

Anupam Das
Anupam Das

H-Index: 2

Robert Harper
Robert Harper

H-Index: 4

Yijia Chen
Yijia Chen

H-Index: 9

Robin Cockett
Robin Cockett

H-Index: 15

Alessio Mansutti
Alessio Mansutti

H-Index: 6

Thomas Ferrère
Thomas Ferrère

H-Index: 10

Bernhard Kragl
Bernhard Kragl

H-Index: 4

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Jurriaan Rot
Jurriaan Rot

H-Index: 11

Tim Lyon
Tim Lyon

H-Index: 4

Alwen Tiu
Alwen Tiu

H-Index: 15

Ranald Clouston
Ranald Clouston

H-Index: 9

Martin Zimmermann
Martin Zimmermann

H-Index: 11

Paweł Parys
Paweł Parys

H-Index: 11

Robert Passmann
Robert Passmann

H-Index: 3

Martin Ziegler
Martin Ziegler

H-Index: 25

José Espírito Santo
José Espírito Santo

H-Index: 5

Jonas Schmidt
Jonas Schmidt

H-Index: 1

Thomas Schwentick
Thomas Schwentick

H-Index: 23

Ioannis Kokkinis
Ioannis Kokkinis

H-Index: 5

See List of Professors in Robin Cockett University(University of Calgary)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine