Search Sciweavers | Sciweavers

135 search results - page 9 / 27

» A typed lambda calculus with intersection types

click to vote

LICS
1987
IEEE

80views Automated Reasoning» more LICS 1987»

Kripke-Style models for typed lambda calculus

13 years 11 months ago

Download www.disi.unige.it

John C. Mitchell, Eugenio Moggi

claim paper

Read More »

click to vote

ENTCS
2007

113views more ENTCS 2007»

A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F

13 years 7 months ago

Download www.cs.bu.edu

We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...

Kevin Donnelly, Hongwei Xi

claim paper

Read More »

click to vote

CORR
2010
Springer

79views Education» more CORR 2010»

Semantics of a Typed Algebraic Lambda-Calculus

13 years 7 months ago

Download www.monoidal.net

Benoît Valiron

claim paper

Read More »

click to vote

EMNLP
2011

161views Natural Language Processing» more EMNLP 2011»

A Probabilistic Forest-to-String Model for Language Generation from Typed Lambda Calculus Expressions

12 years 7 months ago

Download wing.comp.nus.edu.sg

Wei Lu, Hwee Tou Ng

claim paper

Read More »

click to vote

LICS
1993
IEEE

124views Automated Reasoning» more LICS 1993»

A lambda calculus of objects and method specialization

13 years 11 months ago

Download www.cs.helsinki.fi

This paper presents an untyped lambda calculus, extended with object primitives that reﬂect the capabilities of so-called delegation-based object-oriented languages. A type infer...

John C. Mitchell, Furio Honsell, Kathleen Fisher

claim paper

Read More »

« Prev « First page 9 / 27 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers