Contact Privacy DMCA

Robuta
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2013.634 A New Type Assignment for Strongly Normalizable Terms a newtypeassignmentstronglyterms