Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Type theory")

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 1448

  • Page / 58
Export

Selection :

  • and

Expansion Postponement via Cut Elimination in sequent calculi for Pure type systemsGUTIERREZ, Francisco; RUIZ, Blas.Lecture notes in computer science. 2003, pp 956-968, issn 0302-9743, isbn 3-540-40493-7, 13 p.Conference Paper

Monotone inductive and coinductive constructors of rank 2MATTHES, Ralph.Lecture notes in computer science. 2001, pp 600-614, issn 0302-9743, isbn 3-540-42554-3Conference Paper

TLCA 2005 : typed lambda calculi and applications (Nara, 21-23 April 2005)Urzyczyn, Pawel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25593-1, XI, 432 p, isbn 3-540-25593-1Conference Proceedings

TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers)Berardi, Stefano; Coppo, Mario; Damiani, Ferruccio et al.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22164-6, X, 408 p, isbn 3-540-22164-6Conference Proceedings

Type inference for pure type systemsSEVERI, P.Information and computation (Print). 1998, Vol 143, Num 1, pp 1-23, issn 0890-5401Article

Types for proofs and programs (international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004)Filliâtre, Jean-Christophe; Paulin-Mohring, Christine; Werner, Benjamin et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-31428-8, 1Vol, VIII-273 p, isbn 3-540-31428-8Conference Proceedings

Answer type polymorphism in call-by-name continuation passingTHIELECKE, Hayo.Lecture notes in computer science. 2004, pp 279-293, issn 0302-9743, isbn 3-540-21313-9, 15 p.Conference Paper

A question-answering system using argumentationMOREALE, Emanuela; VARGAS-VERA, Maria.Lecture notes in computer science. 2004, pp 400-409, issn 0302-9743, isbn 3-540-21459-3, 10 p.Conference Paper

Life without the terminal typeSCHRÖDER, Lutz.Lecture notes in computer science. 2001, pp 429-442, issn 0302-9743, isbn 3-540-42554-3Conference Paper

Coherence and transitivity in coercive subtypingYONG LUO; ZHAOHUI LUO.Lecture notes in computer science. 2001, pp 249-265, issn 0302-9743, isbn 3-540-42957-3Conference Paper

Domain interpretations of Martin-Löf's partial type theoryPALMGREN, E; STOLTENBERG-HANSEN, V.Annals of pure and applied logic. 1990, Vol 48, Num 2, pp 135-196, issn 0168-0072, 62 p.Article

Inductive types and type constraints in the second-order lambda calculusMENDLER, N. P.Annals of pure and applied logic. 1991, Vol 51, Num 1-2, pp 159-172, issn 0168-0072, 14 p.Conference Paper

Types in program analysisJENSEN, Thomas.The essence of computation (complexity, analysis, transformation). Lecture notes in computer science. 2002, pp 204-222, issn 0302-9743, isbn 3-540-00326-6, 19 p.Book Chapter

On the lambda Y calculusSTATMAN, Rick.Proceedings - Symposium on Logic in Computer Science. 2002, pp 159-166, issn 1043-6871, isbn 0-7695-1483-9, 8 p.Conference Paper

An abstract look at realizabilityROBINSON, Edmund; ROSOLINI, Giuseppe.Lecture notes in computer science. 2001, pp 173-187, issn 0302-9743, isbn 3-540-42554-3Conference Paper

Safe and flexible dynamic linking of native codeHICKS, Michael; WEIRICH, Stephanie; CRARY, Karl et al.Lecture notes in computer science. 2001, pp 147-176, issn 0302-9743, isbn 3-540-42196-3Conference Paper

Inductive type schemas as functorsBARRAL, Freiric; SOLOVIEV, Sergei.Lecture notes in computer science. 2006, pp 35-45, issn 0302-9743, isbn 3-540-34166-8, 1Vol, 11 p.Conference Paper

Translating a fragment of weak type theory into type theory with open termsJOJGOV, G. I.Lecture notes in computer science. 2006, pp 389-403, issn 0302-9743, isbn 3-540-31430-X, 1Vol, 15 p.Conference Paper

Inductive families need not store their indicesBRADY, Edwin; MCBRIDE, Conor; MCKINNA, James et al.Lecture notes in computer science. 2004, pp 115-129, issn 0302-9743, isbn 3-540-22164-6, 15 p.Conference Paper

Applied type system: Extended abstractHONGWEI XI.Lecture notes in computer science. 2004, pp 394-408, issn 0302-9743, isbn 3-540-22164-6, 15 p.Conference Paper

What differs interval type-2 FLS from type-1 FLS?STARCZEWSKI, Janusz T.Lecture notes in computer science. 2004, pp 381-387, issn 0302-9743, isbn 3-540-22123-9, 7 p.Conference Paper

Markov's principle for propositional type theoryKOPYLOV, Alexei; NOGIN, Aleksey.Lecture notes in computer science. 2001, pp 570-584, issn 0302-9743, isbn 3-540-42554-3Conference Paper

Epistemic logic in higher order logic : an experiment with COQLescanne, Pierre.2001, 9 p.Report

A modular hierarchy of logical frameworksADAMS, Robin.Lecture notes in computer science. 2004, pp 1-16, issn 0302-9743, isbn 3-540-22164-6, 16 p.Conference Paper

Mobile information systems - research challenges on the conceptual and logical levelKROGSTIE, John; LYYTINEN, Kalle; OPDAHL, Andreas et al.Lecture notes in computer science. 2003, pp 124-135, issn 0302-9743, isbn 3-540-20255-2, 12 p.Conference Paper

  • Page / 58