VSL 2014: VIENNA SUMMER OF LOGIC 2014

A unified approach to Univalent Foundations and Homotopical Algebra

Author: Nicola Gambino

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:A unified approach to Univalent Foundations and Homotopical Algebra
Authors:Nicola Gambino
Proceedings:RTA-TLCA 2014 LNCS Proceedings
Editor: Gilles Dowek
Keywords:
Abstract:
Pages:1
Paper:
Disclaimer | Powered by EasyChair Smart Program