Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
a service of 
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.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
