Point-free substitution

A. Bijlsma, C.S. Scholten

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)


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.
Original languageEnglish
Pages (from-to)205-214
JournalScience of Computer Programming
Issue number2
Publication statusPublished - 1996


Dive into the research topics of 'Point-free substitution'. Together they form a unique fingerprint.

Cite this