Point-free substitution

A. Bijlsma, C.S. Scholten

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)

Samenvatting

A new characterization of substitution, viz. as a universally conjunctive and universally disjunctive predicate transformer, is proposed. This characterization is also meaningful in point-free models for predicate calculus, and agrees with the classical definition of substitution whenever the latter is applicable.
Originele taal-2Engels
Pagina's (van-tot)205-214
TijdschriftScience of Computer Programming
Volume27
Nummer van het tijdschrift2
DOI's
StatusGepubliceerd - 1996

Vingerafdruk

Duik in de onderzoeksthema's van 'Point-free substitution'. Samen vormen ze een unieke vingerafdruk.

Citeer dit