FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Quantitative Types: from Foundations to Applications

Author: Delia Kesner

Paper Information

Title:Quantitative Types: from Foundations to Applications
Authors:Delia Kesner
Proceedings:ITRS Full papers
Editor: Michele Pagani
Keywords:
Abstract:
Pages:1
Paper: