Search Sciweavers | Sciweavers

2272 search results - page 145 / 455

» A Calculus for

103

click to vote

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

A Term Calculus for Intuitionistic Linear Logic

15 years 8 months ago

Download www.dpmms.cam.ac.uk

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...

claim paper

Read More »

107

click to vote

LICS
1992
IEEE

99views Automated Reasoning» more LICS 1992»

Operational aspects of linear lambda calculus

15 years 8 months ago

Download www.csl.sri.com

Patrick Lincoln, John C. Mitchell

claim paper

Read More »

100

click to vote

PEPM
1992
ACM

107views Software Engineering» more PEPM 1992»

Self-applicable Partial Evaluation for Pure Lambda Calculus

15 years 8 months ago

Download repository.readscheme.org

Torben Æ. Mogensen

claim paper

Read More »

127

Voted

TABLEAUX
1992
Springer

83views Artificial Intelligence» more TABLEAUX 1992»

A Model Elimination Calculus for Generalized Clauses

15 years 8 months ago

Download dli.iiit.ac.in

Toni Bollinger

claim paper

Read More »

click to vote

MPC
1989
Springer

62views Mathematics» more MPC 1989»

Constructing a Calculus of Programs

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers