Fundamenta Informaticae - Tom Vol. 121, nr 1/4 (2012) - 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. 121, nr 1/4

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2012

Identyfikatory

Zawartość wolumenu

Vol. 121, nr 1/4
- artykuł: Completeness and Soundness Results for χ with Intersection and Union Types (Bakel S. v.), s. 1-41
- artykuł: The Algebra of Expansion (Carlier S., Wells J. B.), s. 43-82
- artykuł: Characterising Strongly Normalising Intuitionistic Terms (Santo J. E., Ivetić J., Likavec S.), s. 83-120
- artykuł: Reducibility Proofs in the λ-Calculus (Kamareddine F., Rahli V., Wells J. B.), s. 121-152
- artykuł: On Realisability Semantics for Intersection Types with Expansion Variables (Kamareddine F., Nour K., Rahli V., Wells J. B.), s. 153-184
- artykuł: Intersection Types and Termination Properties (Koletsos G.), s. 185-202
- artykuł: Intersection Types with Subtyping by Means of Cut Elimination (Laurent O.), s. 203-226
- artykuł: Strong Normalization in the π-calculus with Intersection and Union Types (Piccolo M.), s. 227-252
- artykuł: Intersection Types from a Proof-theoretic Perspective (Pimentel E., Ronchi della Rocca S., Roversi L.), s. 253-274
- artykuł: Towards a Logic for Union Types (Stavrinos Y., Veneti A.), s. 275-302

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