Fundamenta Informaticae - Tom Vol. 33, nr 4 (1998) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 33, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

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ć.