PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
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. 33, nr 4
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
1998
Identyfikatory
Zawartość wolumenu
Vol. 33, nr 4
artykuł:
Coinductive axiomatization of recursive type equality and subtyping
(
Brandt M.
,
Henglein F.
), s. 309-338
artykuł:
A simple adequate categorical model for PCF, II
(
Braüner T.
), s. 339-368
artykuł:
Names, equations, relations : practical ways to reason about new
(
Stark I.
), s. 369-396
artykuł:
An axiomatic system of parametricity
(
Takeuti I.
), s. 397-432
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ć.