Strong Normalisation of Cut-Elimination That Simulates β-Reduction
Work
Year: 2008
Type: book-chapter
Source: Springer eBooks
Authors Kentaro Kikuchi, Stéphane Lengrand
Institutions Tohoku University, Centre National de la Recherche Scientifique, École Polytechnique, Laboratoire d'Informatique de l'École Polytechnique
Cites: 44
Cited by: 2
Related to: 10
FWCI: 0.25
Citation percentile (by year/subfield): 31.24
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed