Profielen

Valeria de Paiva

Topos Institute, University of Birmingham

Geverifieerd e-mailadres voor topos.institute

Geciteerd door 5093

Category Theory Proof Theory Type Systems Categorical logic Semantics of Natural languages

Maria Emilia Maietti

Full Professor, University of Padova

Geverifieerd e-mailadres voor math.unipd.it

Geciteerd door 1204

type theory categorical logic constructive mathematics

Jean-Pierre Marquis

Professeur de philosophie, Université de Montréal

Geverifieerd e-mailadres voor umontreal.ca

Geciteerd door 819

Philosophy of Mathematics Logic Foundations of Mathematics Category Theory Categorical Logic

John Cartmell

Independent Researcher and therefore unable to verify email address

Geciteerd door 597

Categorical Logic Conceptual Modelling Data Modelling

Bassel Mannaa

Postdoc, IT University of Copenhagen

Geverifieerd e-mailadres voor itu.dk

Geciteerd door 248

Type theory model theory constructive mathematics categorical logic

Davide Trotta

Post doc, University of Pisa

Geverifieerd e-mailadres voor di.unipi.it

Geciteerd door 106

categorical logic theoretical computer science

Pedro Hernán Zambrano

Department of Mathematics, Universidad Nacional de Colombia at Bogotá

Geverifieerd e-mailadres voor unal.edu.co

Geciteerd door 87

model theory non-elementary classes mathematical logic categorical logic set theory

Jonathan Weinberger

Assistant professor in computer science @ Fowler School of Engineering, Chapman …

Geverifieerd e-mailadres voor chapman.edu

Geciteerd door 87

Homotopy type theory higher category theory categorical logic homotopy theory topos theory

Christian Espíndola

Université de la Réunion

Geverifieerd e-mailadres voor univ-reunion.fr

Geciteerd door 59

Logic and foundations Category theory Categorical logic Set theory Model theory

Gabriele Lobbia

Università di Bologna

Geverifieerd e-mailadres voor unibo.it

Geciteerd door 42

category theory higher category theory categorical logic monoidal categories multicategories

1 - 10