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. 65, nr 1,2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2005
Identyfikatory
Zawartość wolumenu
Vol. 65, nr 1,2
artykuł:
δ for Data: Differentiating Data Structures
(
Abbott M.
,
Altenkirch T.
,
McBride C.
,
Ghani N.
), s. 1-28
artykuł:
Synthesis of max-plus quasi-interpretations
(
Amadio R. M.
), s. 29--60
artykuł:
Inductive types in the Calculus of Algebraic Constructions
(
Blanqui F.
), s. 61--86
artykuł:
Principal Typing for Lambda Calculus in Elementary Affine Logic
(
Coppola P.
,
Ronchi della Rocca S.
), s. 87--112
artykuł:
A Logical Framework with Dependently Typed Records
(
Coquand T.
,
Pollack R.
,
Takeyama M.
), s. 113--134
artykuł:
On λ-Definability I : the Fixed Model Problem and Generalizations of the Matching Problem
(
Joly T.
), s. 135--151
artykuł:
Parameterizations and Fixed-Point Operators on Control Categories
(
Kakutani Y.
,
Hasegawa M.
), s. 153--172
artykuł:
Sequentiality in Bounded Biorders
(
Laird J.
), s. 173--191
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ć.