Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms

Authors:
Peter Selinger
Affiliations:
-
Venue:
Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms
Year:
1998

Citing 0
Cited 4

Topological incompleteness and order incompleteness of the lambda calculus

ACM Transactions on Computational Logic (TOCL)
Order-incompleteness and finite Lambda reduction models

Theoretical Computer Science
Nonmodularity Results for Lambda Calculus

Fundamenta Informaticae
Nonmodularity Results for Lambda Calculus

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract