Author Search Results

Select result number 1
1

A type-theoretical definition of weak ω-categories

by Finster, Eric, Mimram, Samuel
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE)...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 2
2

An Effectful Way to Eliminate Addiction to Dependence

by Pédrot, Pierre-Marie, Tabareau, Nicolas
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Contributors: “...Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE)...”

Get access
Get access
Get access
Get access

Conference Object