학술논문

Recursion-free modular arithmetic in the lambda-calculus
Document Type
Article
Author
Source
In: Information Processing Letters. (Information Processing Letters, January 2024, 183)
Subject
Language
English
ISSN
00200190