PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 170, nr 1-3
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2019
Identyfikatory
Uwagi
A special issue dedicated to Paweł Urzyczyn for his 65th birthday
Zawartość wolumenu
Vol. 170, nr 1-3
artykuł:
Skolem’s Theorem in Coherent Logic
(
Bezem M.
,
Coquand T.
), s. 1--14
artykuł:
The Magda Language : Ten Years After
(
Bono V.
), s. 15--38
artykuł:
The Duality of Classical Intersection and Union Types
(
Downen P.
,
Ariola Z. M.
,
Ghilezan S.
), s. 39--92
artykuł:
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization
(
Dudenhefner A.
,
Rehof J.
), s. 93--110
artykuł:
Decidability of Several Concepts of Finiteness for Simple Types
(
Santo J. E.
,
Matthes R.
,
Pinto L.
), s. 111--138
artykuł:
Strong Normalization for Truth Table Natural Deduction
(
Geuvers H.
,
van der Giessen I.
,
Hurkens T.
), s. 139--176
artykuł:
Certifying Dictionary Construction in Isabelle/HOL
(
Hupel L.
), s. 177--205
artykuł:
Personal Reflections on the Role of Mathematical Logic in Computer Science
(
Kfoury A.
), s. 207--221
artykuł:
Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic
(
Kurata T.
,
Fujita K.-e.
), s. 223--240
artykuł:
New Semantical Insights Into Call-by-Value λ-Calculus
(
Manzonetto G.
,
Pagani M.
,
Ronchi Della Rocca S.
), s. 241--256
artykuł:
Observational Equivalence for Multiparty Sessions
(
Severi P.
,
Dezani-Ciancaglini M.
), s. 267--305
artykuł:
Simple SubTypes of Intersection Types
(
Statman R.
), s. 307--324
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.