Types for Hereditary Permutators

Makoto Tatsuta
2008 Logic in Computer Science  
doi:10.1109/lics.2008.18 dblp:conf/lics/Tatsuta08 fatcat:o5ickpizavgkpkhegucixjgliu