Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types

DOI10.1145/3149823zbMATH Open1407.03015OpenAlexW2788816999MaRDI QIDQ4608725

Author name not available (Why is that?)

Publication date: 22 March 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/83314

zbMATH Keywords

semanticsnormalisationintersection types\(\lambda\mu\) calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Adding Negation to Lambda Mu

This page was built for publication: Characterisation of Normalisation Properties for λμ using Strict Negated Intersection Types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4608725)