FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Polyadic Approximations and Intersection Types

Author: Damiano Mazza

Paper Information

Title:Polyadic Approximations and Intersection Types
Authors:Damiano Mazza
Proceedings:ITRS Full papers
Editor: Michele Pagani
Keywords:
Abstract:
Pages:1
Paper: