Search Results

3 articles with title/keywords/abstract containing Systems of equations in the lambda-calculus

Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
modify search
Display per page 

Kripke models and the (in)equational logic of the second-order lambda-calculus

Author: Gallier J.

Source: Annals of Pure and Applied Logic, Volume 84, Number 3, 18 April 1997 , pp. 257-316(60)

Publisher: Elsevier

Equational programming in lambda-calculus via SL-systems. Part 1

Author: Tronci E.

Source: Theoretical Computer Science, Volume 160, Number 1, 10 June 1996 , pp. 145-184(40)

Publisher: Elsevier

Equational programming in lambda-calculus via SL-systems. Part 2

Author: Tronci E.

Source: Theoretical Computer Science, Volume 160, Number 1, 10 June 1996 , pp. 185-216(32)

Publisher: Elsevier

modify search
Key:
Free Content - Free Content
New Content - New Content
Subscribed Content - Subscribed Content
Free Trial Content - Free Trial Content
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages.
Page Help Click here for Page Help
Shopping cart
Tools
Sign in






Need to register?
Sign up here
Text size: A | A | A | A