The ϱ-Calculus
From MaRDI portal
Publication:3922682
DOI10.1002/MALQ.19810270702zbMATH Open0469.03049OpenAlexW2096659143MaRDI QIDQ3922682FDOQ3922682
Authors: Christopher K. R. T. Jones, Peter J. Kelemen
Publication date: 1981
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19810270702
This page was built for publication: The ϱ-Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3922682)