Paper Info
Title
Call-by-Value lambda-calculus and LJQ
Abstract
LJQ is a focused sequent calculus for intuitionistic logic, with a simple restriction on the first premiss of the usual left introduction rule for implication. In a previous paper we discussed its history (going back to about 1950, or beyond) and presented its basic theory and some applications; here we discuss in detail its relation to call-by-value reduction in lambda calculus, establishing a co...
Year
DOI
Venue
2007
10.1093/logcom/exm037
Journal of Logic and Computation
Keywords
DocType
Volume
Lambda calculus,call-by-value,sequent calculus,continuation-passing,semantics
Journal
17
Issue
ISSN
Citations 
6
0955-792X
4
PageRank 
References 
Authors
0.41
0
2
Name
Order
Citations
PageRank
Roy Dyckhoff145249.09
Stéphane Lengrand216211.43