×

Found 15 Documents (Results 1–15)

Elementarily traceable irrational numbers. (English) Zbl 07787576

Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 135-140 (2023).
MSC:  03B70 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A simple adequate categorical model for PCF. (English) Zbl 1063.68597

de Groote, Philippe (ed.) et al., Typed lambda calculi and applications. Third international conference on typed lambda calculi and applications, TLCA ’97, Nancy, France, April 2–4, 1997. Proceedings. Berlin: Springer (ISBN 3-540-62688-3/pbk). Lecture Notes in Computer Science 1210, 82-98 (1997).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software