The calculus λπ

L. M.G. Feijs

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Samenvatting

We introduce a special version of lambda calculus called λπ, which is defined for any algebraic system with preorder. We do not have lambda terms λx.X, but we have terms λx ⊑ R.X, where R is a parameter restriction. The effect of the parameter restrictions is formalised by the rules of the calculus. Instead of the rule β there is a rule called π. This calculus has been used to give a meaning to the parameterisation and design constructs of COLD-K.

Originele taal-2Engels
TitelAlgebraic Methods
SubtitelTheory, Tools and Applications
RedacteurenMartin Wirsing, Jan A. Bergstra
Plaats van productieBerlin
UitgeverijSpringer
Pagina's307-328
Aantal pagina's22
ISBN van elektronische versie978-3-540-46758-8
ISBN van geprinte versie978-3-540-51698-9
DOI's
StatusGepubliceerd - 1 jan 1989
EvenementWorkshop on Algebraic Methods: Theory, Tools and Applications, 1987 - Passau, Duitsland
Duur: 9 jun 198711 jun 1987

Publicatie series

NaamLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume394 LNCS
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Congres

CongresWorkshop on Algebraic Methods: Theory, Tools and Applications, 1987
LandDuitsland
StadPassau
Periode9/06/8711/06/87

Vingerafdruk Duik in de onderzoeksthema's van 'The calculus λπ'. Samen vormen ze een unieke vingerafdruk.

Citeer dit