![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 170
Volume 170, Numbers 1-3, 2019
- Thorsten Altenkirch, Aleksy Schubert:
Preface. v-vi
- Marc Bezem, Thierry Coquand:
Skolem's Theorem in Coherent Logic. 1-14 - Viviana Bono:
The Magda Language: Ten Years After. 15-38 - Paul Downen
, Zena M. Ariola, Silvia Ghilezan
:
The Duality of Classical Intersection and Union Types. 39-92 - Andrej Dudenhefner
, Jakob Rehof:
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization. 93-110 - José Espírito Santo
, Ralph Matthes
, Luís Pinto
:
Decidability of Several Concepts of Finiteness for Simple Types. 111-138 - Herman Geuvers, Iris van der Giessen, Tonny Hurkens:
Strong Normalization for Truth Table Natural Deduction. 139-176 - Lars Hupel
:
Certifying Dictionary Construction in Isabelle/HOL. 177-205 - Assaf J. Kfoury:
Personal Reflections on the Role of Mathematical Logic in Computer Science. 207-221 - Toshihiko Kurata, Ken-etsu Fujita:
Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic. 223-240 - Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca:
New Semantical Insights Into Call-by-Value λ-Calculus. 241-265 - Paula Severi, Mariangiola Dezani-Ciancaglini
:
Observational Equivalence for Multiparty Sessions. 267-305 - Rick Statman:
Simple SubTypes of Intersection Types. 307-324
Volume 170, Number 4, 2019
- Mawunyo Kofi Darkey-Mensah
, Przemyslaw Koprowski
:
Intrinsic Factorization of Ideals in Dedekind Domains. 325-338 - Jeroen Ketema, Jakob Grue Simonsen:
Computing with Infinite Terms and Infinite Reductions. 339-365 - Roussanka Loukanova:
Gamma-Reduction in Type Theory of Acyclic Recursion. 367-411
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.