Schedae Informaticae - Tom Vol. 12 (2003) - 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. 12

Czasopismo

Schedae Informaticae

Wydawca

Rocznik

2003

Identyfikatory

Zawartość wolumenu

Vol. 12
- artykuł: Explicit Substitutions and Intersection Types (Lescanne P.), s. 11-15
- artykuł: Domain Theory as a Tool for Topology - a Case Study (Waszkiewicz P.), s. 17-26
- artykuł: A Short Proof of the Strong Normalization of the Simply Typed lambda mi-calculus (David R., Nour K.), s. 27-33
- artykuł: A Behavioural Lambda Model (Dezani-Ciangaglini M., Ghilezan S.), s. 35-47
- artykuł: Defining Recursors by Solving Equations in Second-Order Lambda Calculus (Spławski Z.), s. 49-56
- artykuł: Investigating the Logical Aspects of the Pi-calculus (Bernard N.), s. 57-66
- artykuł: About the Notion of Easiness in lambda-Calculus (Bertini Y.), s. 67-75
- artykuł: Separability, Expressiveness, and Decidability in the Ambient Logic (Hirschkoff D.), s. 77-84
- artykuł: Classification in Finite Model Theory (Idziak P.), s. 85-95
- artykuł: System ST (Raffalli C.), s. 97-111
- artykuł: Using Ambients to Control Resources (short abstract) (Teller D.), s. 113-127
- artykuł: Asymptotic Properties of Logics (Zaionc M.), s. 129-138

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