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

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

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

HMF : Simple Type Inference for First-Class PolymorphismLEIJEN, Daan.ACM SIGPLAN notices. 2008, Vol 43, Num 9, pp 283-293, issn 1523-2867, 11 p.Conference Paper

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

Diphones vs. Triphones in czech unit selection TTSTIHELKA, Daniel; MATOUSEK, Jindrich.Lecture notes in computer science. 2006, pp 531-538, issn 0302-9743, isbn 3-540-39090-1, 1Vol, 8 p.Conference Paper

Type and Effect System for Multi-staged ExceptionsEO, Hyunjun; KIM, Ik-Soon; YI, Kwangkeun et al.Lecture notes in computer science. 2006, pp 61-78, issn 0302-9743, isbn 3-540-48937-1, 1Vol, 18 p.Conference Paper

A strongly normalising curry-howard correspondence for IZF set theoryMIQUEL, Alexandre.Lecture notes in computer science. 2003, pp 441-454, issn 0302-9743, isbn 3-540-40801-0, 14 p.Conference Paper

Weak transitivity in coercive subtypingYONG LUO; ZHAOHUI LUO; SOLOVIEV, Sergei et al.Lecture notes in computer science. 2003, pp 220-239, issn 0302-9743, isbn 3-540-14031-X, 20 p.Conference Paper

Generalization in type theory based proof assistantsPONS, Olivier.Lecture notes in computer science. 2002, pp 217-232, issn 0302-9743, isbn 3-540-43287-6Conference Paper

An improved extensionality criterion for higher-order logic programsBEZEM, Marc.Lecture notes in computer science. 2001, pp 203-216, issn 0302-9743, isbn 3-540-42554-3Conference Paper

TIC 2000 : types in compilation (Montreal, 21 September 2000, revised selected papers)Harper, Robert.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42196-3, 206 p., isbn 3-540-42196-3Conference Proceedings

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