output
19952025
most citedA database of number fields

51 citations

researchers with a paper here
collaborating institutions
Showing 2015 · cs.LOShow all

1 paper · 2 filters

cs.LO2015★ 7 cited

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq

Manfred Schmidt-Schauß, David Sabel, Elena Machkasova

This paper shows equivalence of several versions of applicative similarity and contextual approximation, and hence also of applicative bisimilarity and contextual equivalence, in L…