UP - logo

Search results

Basic search    Expert search   

Currently you are NOT authorised to access e-resources UPUK. For full access, REGISTER.

1
hits: 1
1.
  • Recursion-free modular arit... Recursion-free modular arithmetic in the lambda-calculus
    Mackie, Maximilien Information processing letters, January 2024, 2024-01-00, Volume: 183
    Journal Article
    Peer reviewed
    Open access

    We investigate encodings for modular arithmetic in the lambda-calculus. There are two approaches: adapting well-known numeral systems, and building a new one. This paper focuses on providing original ...
Full text

Load filters