OpenAlex
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
Work
Year: 2014
Type: article
Abstract: We propose the first sound and complete bisimilarities for the call-by-name and call-by-value untyped λμ-calculus, defined in the applicative style. We give equivalence examples to illustrate how our ... more
Source: Electronic Notes in Theoretical Computer Science
Authors Dariusz Biernacki, Sergueï Lenglet
Institutions Institute of Computer Science, University of Wrocław, Université de Lorraine
Cites: 21
Cited by: 2
Related to: 10
FWCI:
Citation percentile (by year/subfield): 64.65
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold