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:DCM DCM Pre-proceedingsd
Editor: Sandra Alves
Keywords:
Abstract:
Pages:1
Paper: