OpenAlex
From π-calculus to higher-order π-calculus — and back
Work
Year: 1993
Type: book-chapter
Source: Lecture notes in computer science
Author Davide Sangiorgi
Cites: 18
Cited by: 66
Related to: 10
FWCI: 3.029
Citation percentile (by year/subfield): 96.8
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze