학술논문
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