42 citations
- Evan Patterson2 profiles10 · h 12
- David I. Spivak2 profiles5 · h 27
- James P. Fairbanks5 · h 10
- Sophie Libkind2 profiles4 · h 6
- Andre Baas3 · h 5
- B. Shapiro2 · h 4
- Michael Lambert2 · h 1
- Owen Lynch2 profiles2 · h 3
- Timothy Hosgood2 profiles2 · h 1
- T. S. C. Smithe2 · h 6
- T. St. Clere Smithe2 · h 0
- Valeria C V de Paiva2 · h 28
- Topos Institute24 papers
- University of FloridaUS5 papers
- Georgia Institute of TechnologyUS3 papers
- Georgia Tech Research Institute3 papers
- Stanford UniversityUS3 papers
- University of Massachusetts BostonUS2 papers
- Cornell UniversityUS1 paper
- Eindhoven University of TechnologyNL1 paper
- Freie Universität BerlinDE1 paper
- Louisiana State UniversityUS1 paper
- Max Planck Institute of Animal BehaviorDE1 paper
- Monash UniversityAU1 paper
4 papers · 1 filter
Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Jonas Bayer, Aleksey Gonus, Christoph Benzmüller +1
This paper presents meta-logical investigations based on category theory using the proof assistant Isabelle/HOL. We demonstrate the potential of a free logic based shallow semantic…
Compositional Modeling with Stock and Flow Diagrams
John Baez, Xiaoyan Li, Sophie Libkind +2
Stock and flow diagrams are widely used in epidemiology to model the dynamics of populations. Although tools already exist for building these diagrams and simulating the systems th…
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Ugo Dal Lago, Valeria de Paiva
This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications,…
Deriving Theorems in Implicational Linear Logic, Declaratively
Paul Tarau, Valeria de Paiva
The problem we want to solve is how to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. We start by filtering for l…