Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("LAMBDA CALCUL")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1345

  • Page / 54

Export

Selection :

  • and

Réductions parallèles dans le Lambda-Calcul : non-existence d'une stratégie optimale fondéesur le partageGengler, Marc; Saint James, Emmanuel.1989, 312 p.Thesis

Syntaxe et sémantique de la facilité en lambda-calcul = Syntax and semantics of ease in lambda-calculusZylberajch, Cécile; Krivine, Jean-Louis.1991, 83 p.Thesis

COMPLEXITY OF NORMALIZATION IN THE PURE TYPED LAMBDA-CALCULUSSCHWICHTENBERG H.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 453-457; BIBL. 5 REF.Conference Paper

AN EXTENSION OF THE BASIC FUNCTIONALITY THEORY FOR THE LAMBDA -CALCULUSCOPPO M; DEZANI CIANCAGLINI M.1980; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 4; PP. 685-693; BIBL. 17 REF.Article

AN ALGEBRAIC INTERPRETATION OF THE LAMBDA BETA K-CALCULUS AND A LABELLED LAMBDA -CALCULUS.LEVY JJ.1975; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1975; NO 103; PP. (27P.); ABS. FR.; BIBL. 15 REF.Article

UN MODELLO DI D-CALCOLO FORTEMENTE EQUIVALENTE AGLI SCHEMI RICORSIVI. = MODELE DE 1-CALCUL FORTEMENT EQUIVALENT AUX SCHEMAS RECURSIFSSIMONE C.1974; CALCOLO; ITAL.; DA. 1974; VOL. 11; NO 1; PP. 111-125; ABS. ANGL.; BIBL. 9 REF.Article

RECURSION THEORY AND THE LAMBDA-CALCULUSBYERLY RE.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 1; PP. 67-83; BIBL. 9 REF.Article

DISCRIMINABILITY OF INFINITE SETS OF TERMS IN THE DINFINI-MODELS OF THE LAMBDA -CALCULUSRONCHI DELLA ROCCA S.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 112; PP. 350-364; BIBL. 14 REF.Conference Paper

THE CHURCH-ROSSER THEOREM FOR THE TYPED LAMBDA -CALCULUS WITH SURJECTIVE PAIRINGPOTTINGER G.1981; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1981; VOL. 22; NO 3; PP. 264-268; BIBL. 3 REF.Article

REDUCTIONS SURES DANS LE LAMBDA-CALCUL.LEVY JJ.1974; ; S.L.; DA. 1974; PP. 1-105; BIBL. 1 P. 1/2; (THESE DOCT. 3EME CYCLE, SPEC. MATH., MENTION INF. ALGEBRIQUE; PARIS VII)Thesis

WHAT IS A MODEL OF THE LAMBDA CALCULUS.MEYER AR.1982; INFORMATION AND CONTROL; ISSN 0019-9958; USA; DA. 1982; VOL. 52; NO 1; PP. 87-122; BIBL. 2 P.Article

CHARACTERIZATION OF NORMAL FORMS POSSESSING INVERSE IN THE LAMBDA -BETA -ETA -CALCULUS.DEZANI CIANCAGLINI M.1976; THEOR. COMPUTER SCI.; NETHERL.; DA. 1976; VOL. 2; NO 3; PP. 323-337; BIBL. 3 REF.Article

Functions over free algebras definable in the simply typed lambda calculusLEIVANT, D.Theoretical computer science. 1993, Vol 121, Num 1-2, pp 309-321, issn 0304-3975Article

Comparing Hagino's categorical programming language and typed lambda-calculiDYBKJÆR, H; MELTON, A.Theoretical computer science. 1993, Vol 111, Num 1-2, pp 145-189, issn 0304-3975Conference Paper

A type-theoretical alternative to ISWIM, CUCH, OWHYSCOTT, D. S.Theoretical computer science. 1993, Vol 121, Num 1-2, pp 411-440, issn 0304-3975Article

INVERTIBLE TERMS IN THE LAMBDA CALCULUSBERGSTRA J; KLOP JW.1980; THEOR. COMPUTER SCI.; NLD; DA. 1980; VOL. 11; NO 1; PP. 19-37; BIBL. 13 REF.Article

TYPES ET FONCTIONNALITEROBINET B.1979; LAMBDA CALCUL ET SEMANTIQUE FORMELLE DES LANGAGES DE PROGRAMMATION. ECOLE DE PRINTEMPS D'INFORMATIQUE THEORIQUE. 6/1978/LA CHATRE; FRA; PARIS: LABORATOIRE D'INFORMATIQUE THEORIQUE ET PROGRAMMATION/PARIS: ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES; DA. 1979; PP. 303-325; BIBL. 3 P.Conference Paper

A GLOBAL REPRESENTATION OF THE RECURSIVE FUNCTIONS IN THE LAMBDA -CALCULUS.BARENDREGT H.1977; THEOR. COMPUT. SCI.; NETHERL.; DA. 1977; VOL. 3; NO 2; PP. 225-242; BIBL. 16 REF.Article

AN ALGEBRAIC INTERPRETATION OF THE LAMBDA BETA K-CALCULUS: AND AN APPLICATION OF A LABELLED LAMBDA -CALCULUS.LEVY JJ.1976; THEOR. COMPUTER SCI.; NETHERL.; DA. 1976; VOL. 2; NO 1; PP. 97-114; BIBL. 17 REF.Article

CHURCH-ROSSER STRATEGIES IN THE LAMBDA CALCULUSBERGSTRA J; KLOP JW.1979; THEOR. COMPUTER SCI.; NLD; DA. 1979; VOL. 9; NO 1; PP. 27-38; BIBL. 3 REF.Article

THE DISCRIMINATION THEOREM HOLDS FOR COMBINATORY WEAK REDUCTIONHINDLEY R.1979; THEOR. COMPUTER SCI.; NLD; DA. 1979; VOL. 8; NO 3; PP. 393-394; BIBL. 2 REF.Article

A DISCRIMINATION ALGORITHM INSIDE LAMBDA -BETA -CALCULUSBOEHM C; DEZANI CIANCAGLINI M; PERETTI P et al.1979; THEOR. COMPUTER SCI.; NLD; DA. 1979; VOL. 8; NO 3; PP. 271-291; BIBL. 9 REF.Article

LAMBDA CALCULUS NOTATION WITH NAMELESS DUMMIES, A TOOL FOR AUTOMATIC FORMULA MANIPULATION, WITH APPLICATION TO THE CHURCH-ROSSER THEOREMDE BRUIJN NJ.1972; PROC. KKL. NEDERL. AKAD. WETENSCH., A; NETHERL.; DA. 1972; VOL. 75; NO 5; PP. 381-392; BIBL. 4 REF.Serial Issue

SOME SYNTACTIC AND CATEGORICAL CONSTRUCTIONS OF LAMBDA-CALCULUS MODELSBERRY GERARD.1981; ; FRA; PARIS: IMPR. I.N.R.I.A.; DA. 1981; INRIA/80; PAG. MULT.; 30 CM; ABS. FRE; BIBL. 33 REF.;[RAPP. RECH.-I.N.R.I.A.; ISSN 0249-6399; NO 80]Report

LAMBDA CALCULUS: SOME MODELS, SOME PHILOSOPHYSCOTT D.1980; STUD. LOGIC FOUND. MATH.; NLD; DA. 1980; VOL. 101; PP. 223-265; BIBL. 3 P.Conference Paper

  • Page / 54