FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Some applications of quantitative types inside and outside type theory

Author: Pierre Vial

Paper Information

Title:Some applications of quantitative types inside and outside type theory
Authors:Pierre Vial
Proceedings:HOR Pre-proceedings
Editor: Stefano Guerrini
Keywords:
Abstract:
Pages:1
Paper: