How to prove similarity a precongruence in non-deterministic call-by-need lambda calculi. Frank report 22, Institut für Informatik. J.W.Goethe-Universität Frankfurt (2006)

by Matthias Mann , Manfred Schmidt-schauß
Citations:3 - 3 self