Search Sciweavers | Sciweavers

265 search results - page 21 / 53

» Lambda calculus with patterns

Voted

LMCS
2006

84views more LMCS 2006»

Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

14 years 9 months ago

Download www.brics.dk

Kristian Støvring

claim paper

Read More »

click to vote

JFLP
2000

30views more JFLP 2000»

Metatheoretic Results for a Modal lambda-Calculus

14 years 9 months ago

Download hal.archives-ouvertes.fr

Joëlle Despeyroux, Pierre Leleu

claim paper

Read More »

click to vote

JFP
2002

94views more JFP 2002»

The lambda calculus is algebraic

14 years 9 months ago

Download www.mscs.dal.ca

Peter Selinger

claim paper

Read More »

click to vote

CORR
2010
Springer

79views Education» more CORR 2010»

Semantics of a Typed Algebraic Lambda-Calculus

14 years 9 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

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers