Logics and Type Systems in Theory and Practice

Keyphrases

Publications

2024

Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubuv, Cezary Kaliszyk, Martin Suda, Josef Urban
Learning Guided Automated Reasoning: A Brief Survey. Logics and Type Systems in Theory and Practice (2024)
Frits W. Vaandrager
A New Perspective on Conformance Testing Based on Apartness. Logics and Type Systems in Theory and Practice (2024)
Bart Bogaerts, Luís Cruz-Filipe
Approximation Fixpoint Theory in Coq - With an Application to Logic Programming. Logics and Type Systems in Theory and Practice (2024)
Jan Martens, Jan Friso Groote
Minimal Depth Distinguishing Formulas Without Until for Branching Bisimulation. Logics and Type Systems in Theory and Practice (2024)
Yves Bertot
Safe Smooth Paths Between Straight Line Obstacles. Logics and Type Systems in Theory and Practice (2024)
Niels van der Weide, Dan Frumin
The Interval Domain in Homotopy Type Theory. Logics and Type Systems in Theory and Practice (2024)
Jeroen J. A. Keiren, Tim A. C. Willemse
It's All a Game - Apartness and Bisimilarity. Logics and Type Systems in Theory and Practice (2024)
Dexter Kozen, Alexandra Silva
Multisets and Distributions. Logics and Type Systems in Theory and Practice (2024)
Jurriaan Rot, Sebastian Junges, Harsh Beohar
Relating Apartness and Branching Bisimulation Games. Logics and Type Systems in Theory and Practice (2024)
Hans Zantema
Characterizing Morphic Sequences. Logics and Type Systems in Theory and Practice (2024)
Thierry Coquand
A Variation of Reynolds-Hurkens Paradox. Logics and Type Systems in Theory and Practice (2024)
Wieb Bosma, Henk Don
Constructing Morphisms for Arithmetic Subsequences of Fibonacci. Logics and Type Systems in Theory and Practice (2024)
Tonny Hurkens
Between Brackets. Logics and Type Systems in Theory and Practice (2024)
Jos C. M. Baeten, Bas Luttik
Sequential Value Passing Yields a Kleene Theorem for Processes. Logics and Type Systems in Theory and Practice (2024)
Bart Jacobs
Some Probabilistic Riddles and Some Logical Solutions. Logics and Type Systems in Theory and Practice (2024)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Betti Venneri
YACC: Yet Another Church Calculus - A Birthday Present for Herman Inspired by His Supervisor Activity. Logics and Type Systems in Theory and Practice (2024)
Sebastiaan A. Terwijn
Fixed Point Theorems in Computability Theory. Logics and Type Systems in Theory and Practice (2024)

volume 14560, 2024

Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday Logics and Type Systems in Theory and Practice 14560 (2024)