OpenAlex
On the Relations between the Syntactic Theories of λμ-Calculi
Work
Year: 2008
Type: book-chapter
Source: Lecture notes in computer science
Author Alexis Saurin
Institution Laboratoire d'Informatique de l'École Polytechnique
Cites: 24
Cited by: 14
Related to: 10
FWCI: 1.247
Citation percentile (by year/subfield): 81.62
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed