Coalgebraic minimization of HD-automata for the -calculus using polymorphic types
Gianluigi Ferrari, Ugo Montanari, Emilio TuostoVolume:
331
Year:
2005
Language:
english
Pages:
41
DOI:
10.1016/j.tcs.2004.09.021
File:
PDF, 613 KB
english, 2005