Hiroshima, Keita; Kawamura, Akitoshi 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 \textit{K. Hiroshima} and \textit{A. Kawamura}, Lect. Notes Comput. Sci. 13967, 135--140 (2023; Zbl 07787576) Full Text: DOI
Paulson, Lawrence C. Computational logic: its origins and applications. (English) Zbl 1402.68160 Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 474, No. 2210, Article ID 20170872, 14 p. (2018). MSC: 68T15 68-03 01A60 01A61 03B35 03B70 68Q60 PDFBibTeX XMLCite \textit{L. C. Paulson}, Proc. R. Soc. Lond., A, Math. Phys. Eng. Sci. 474, No. 2210, Article ID 20170872, 14 p. (2018; Zbl 1402.68160) Full Text: DOI arXiv
Morozov, A. S. Higman’s question revisited. (English. Russian original) Zbl 0956.20025 Algebra Logika 39, No. 2, 134-144 (2000); translation in Algebra Logic 39, No. 2, 78-83 (2000). Reviewer: A.N.Ryaskin (Novosibirsk) MSC: 20F10 03D20 20B27 03D40 03C57 03D45 20B07 20F05 PDFBibTeX XMLCite \textit{A. S. Morozov}, Algebra Logika 39, No. 2, 134--144 (2000; Zbl 0956.20025); translation in Algebra Logic 39, No. 2, 78--83 (2000) Full Text: EuDML
Müller, Olaf; Nipkow, Tobias; von Oheimb, David; Slotosch, Oscar HOLCF=HOL+LCF. (English) Zbl 0933.03028 J. Funct. Program. 9, No. 2, 191-223 (1999). MSC: 03B70 68N18 68T15 68Q55 PDFBibTeX XMLCite \textit{O. Müller} et al., J. Funct. Program. 9, No. 2, 191--223 (1999; Zbl 0933.03028) Full Text: DOI
Braüner, Torben 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). MSC: 68Q55 18C50 03B40 68N15 PDFBibTeX XMLCite \textit{T. Braüner}, Lect. Notes Comput. Sci. 1210, 82--98 (1997; Zbl 1063.68597)
Kossak, Roman What are infinitesimals and why they cannot be seen. (English) Zbl 0880.03036 Am. Math. Mon. 103, No. 10, 846-853 (1996). Reviewer: R.A.Herrmann (Annapolis) MSC: 03H15 03-01 PDFBibTeX XMLCite \textit{R. Kossak}, Am. Math. Mon. 103, No. 10, 846--853 (1996; Zbl 0880.03036) Full Text: DOI
Abramsky, S. (ed.); Gabbay, Dov M. (ed.); Maibaum, T. S. E. (ed.) Handbook of logic in computer science. Vol. 4: Semantic modelling. (English) Zbl 0876.68001 Oxford: Clarendon Press. xiii, 651 p. (1995). MSC: 68-00 00B15 68Q55 03B70 68Q10 68Q65 03D45 68Q60 06B35 03B40 PDFBibTeX XMLCite \textit{S. Abramsky} (ed.) et al., Handbook of logic in computer science. Vol. 4: Semantic modelling. Oxford: Clarendon Press (1995; Zbl 0876.68001)
O’Hearn, Peter W.; Riecke, Jon G. Kripke logical relations and PCF. (English) Zbl 0912.03008 Inf. Comput. 120, No. 1, 107-116 (1995). MSC: 03B40 68Q55 03G30 PDFBibTeX XMLCite \textit{P. W. O'Hearn} and \textit{J. G. Riecke}, Inf. Comput. 120, No. 1, 107--116 (1995; Zbl 0912.03008) Full Text: DOI Link
Riecke, Jon G. Fully abstract translations between functional languages. (English) Zbl 0802.68023 Math. Struct. Comput. Sci. 3, No. 4, 387-415 (1993). MSC: 68N15 68Q55 03B40 PDFBibTeX XMLCite \textit{J. G. Riecke}, Math. Struct. Comput. Sci. 3, No. 4, 387--415 (1993; Zbl 0802.68023) Full Text: DOI
Morozov, A. S. A question of Higman. (English. Russian original) Zbl 0742.20032 Algebra Logic 29, No. 1, 22-26 (1990); translation from Algebra Logika 29, No. 1, 29-34 (1990). Reviewer: O.V.Belegradek (Kemerovo) MSC: 20F10 03D20 20B27 03D40 03C57 03D45 20B07 PDFBibTeX XMLCite \textit{A. S. Morozov}, Algebra Logic 29, No. 1, 22--26 (1990; Zbl 0742.20032); translation from Algebra Logika 29, No. 1, 29--34 (1990) Full Text: DOI
Loeckx, Jacques; Sieber, Kurt [Stansifer, Ryan D.] The foundations of program verification. In collab. with Ryan D. Stansifer. 2nd ed. ii. (English) Zbl 0625.68017 Wiley-Teubner Series in Computer Science. Stuttgart: B. G. Teubner; Chichester etc.: John Wiley & Sons. IX, 230 p.; DM 58.00 (1987). Reviewer: H.Müller MSC: 68Q60 68-01 03D05 PDFBibTeX XML
Schmidt, David A. A programming notation for tactical reasoning. (English) Zbl 0546.68080 Automated deduction, Proc. 7th int. Conf., Napa/Calif. 1984, Lect. Notes Comput. Sci. 170, 445-459 (1984). Reviewer: H.Luchian MSC: 68T15 PDFBibTeX XML
Neel, D. (ed.) [Jackson, M. A.; Sufrin, B.; Cousot, P.; Cousot, R.; Reynolds, J. C.; Gordon, M. J. C.; Turner, D. A.; Arsac, J. J.; Habermann, A. N.; Barnes, J. G. P.; Lorho, B.; Deschamp, P.; Lemaitre, M.; Lemoine, M.; Zanon, G.; Bert, D.; Brown, P. J.] Tools and notions for program construction. An advanced course. (English) Zbl 0522.68006 CREST Advanced Courses. Cambridge etc.: Cambridge University Press. XIV, 399 p. £15.00 (1982). MSC: 68-06 68Nxx PDFBibTeX XML
Richter, Michael M. Ideale Punkte, Monaden und Nichtstandard-Methoden. (German) Zbl 0487.03040 Braunschweig; Wiesbaden: Friedr. Vieweg & Sohn. VII, 264 S. DM 48.00 (1982). MSC: 03H05 03-01 26E35 30G06 54J05 PDFBibTeX XML
Gordon, Michael J.; Milner, Arthur J.; Wadsworth, Christopher P. Edinburgh LCF. A mechanized logic of computation. (English) Zbl 0421.68039 Lecture Notes in Computer Science. 78. Berlin-Heidelberg-New York: Springer-Verlag. VIII, 159 p. DM 21.50; $ 12.10 (1979). MSC: 68Q65 68T15 68N01 PDFBibTeX XMLCite \textit{M. J. Gordon} et al., Edinburgh LCF. A mechanized logic of computation. Berlin etc.: Springer-Verlag (1979; Zbl 0421.68039)