Publication:5184384

zbMath0559.68019MaRDI QIDQ5184384

Dimiter Skordev

Publication date: 1984

zbMATH Keywords

normal form theorem; functional system of programming; Iterative combinatory space; program transform

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q99: Theory of computing

03D75: Abstract and axiomatic computability and recursion theory

Related Items

An essay in combinatory dynamic logic