Fundamenta Informaticae - Tom Vol. 77, nr 4 (2007) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 77, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2007

Identyfikatory

Zawartość wolumenu

Vol. 77, nr 4
- artykuł: The Completeness of Typing for Context-Semantics (Coquand T.), s. 293-301
- artykuł: Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code (Felty A.P.), s. 303-330
- artykuł: Can Proofs be Animated by Games? (Hayashi S.), s. 331-343
- artykuł: Untyped Algorithmic Equality for Martin-Löf's Logical Framework with Surjective Pairs (Abel A., Coquand T.), s. 345-395
- artykuł: L^3 : A Linear Language with Locations (Ahmed A., Fluet M., Morrisett G.), s. 397-449
- artykuł: Rank 2 Intersection for Recursive Definitions (Damiani F.), s. 451-488
- artykuł: Arithmetical Proofs of Strong Normalization Results for Symmetric [lambda]-calculi (David R., Nour K.), s. 489-510
- artykuł: On the Expressiveness of Affine Programs with Non-local Control : The Elimination of Nesting in SPCF (Laird J.), s. 511-531

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