FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
First-order homotopical logic and Grothendieck fibrations

Author: Joseph Helfer

PapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:First-order homotopical logic and Grothendieck fibrations
Authors:Joseph Helfer
Proceedings:HoTT/UF Abstracts
Editors: Benedikt Ahrens, Simon Huber and Anders Mörtberg
Keywords:First-order logic, Grothendieck fibrations, Simplicial sets
Abstract:

ABSTRACT.

Pages:2
Talk:Jul 07 17:00 (Session 31F)
Paper: