default search action

combined dblp search
author search
venue search
publication search

ask others

Fundamenta Informaticae, Volume 170

> Home > Journals > Fundamenta Informaticae

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 170, Numbers 1-3, 2019

Preface

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/AltenkirchS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/AltenkirchS19
Thorsten Altenkirch, Aleksy Schubert:
Preface. v-vi

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/BezemC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BezemC19
Marc Bezem, Thierry Coquand:
Skolem's Theorem in Coherent Logic. 1-14
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Bono19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Bono19
Viviana Bono:
The Magda Language: Ten Years After. 15-38
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DownenAG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DownenAG19
Paul Downen, Zena M. Ariola, Silvia Ghilezan:
The Duality of Classical Intersection and Union Types. 39-92
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/DudenhefnerR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/DudenhefnerR19
Andrej Dudenhefner, Jakob Rehof:
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization. 93-110
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/SantoMP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/SantoMP19
José Espírito Santo, Ralph Matthes, Luís Pinto:
Decidability of Several Concepts of Finiteness for Simple Types. 111-138
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GeuversGH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GeuversGH19
Herman Geuvers, Iris van der Giessen, Tonny Hurkens:
Strong Normalization for Truth Table Natural Deduction. 139-176
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Hupel19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Hupel19
Lars Hupel:
Certifying Dictionary Construction in Isabelle/HOL. 177-205
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Kfoury19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Kfoury19
Assaf J. Kfoury:
Personal Reflections on the Role of Mathematical Logic in Computer Science. 207-221
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KurataF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KurataF19
Toshihiko Kurata, Ken-etsu Fujita:
Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic. 223-240
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/ManzonettoPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/ManzonettoPR19
Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca:
New Semantical Insights Into Call-by-Value λ-Calculus. 241-265
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/SeveriD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/SeveriD19
Paula Severi, Mariangiola Dezani-Ciancaglini:
Observational Equivalence for Multiparty Sessions. 267-305
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Statman19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Statman19
Rick Statman:
Simple SubTypes of Intersection Types. 307-324

Volume 170, Number 4, 2019

Research Article

- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Darkey-MensahK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Darkey-MensahK19
Mawunyo Kofi Darkey-Mensah, Przemyslaw Koprowski:
Intrinsic Factorization of Ideals in Dedekind Domains. 325-338
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/KetemaS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/KetemaS19
Jeroen Ketema, Jakob Grue Simonsen:
Computing with Infinite Terms and Infinite Reductions. 339-365
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Loukanova19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Loukanova19
Roussanka Loukanova:
Gamma-Reduction in Type Theory of Acyclic Recursion. 367-411

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.