The following pages link to Eric C. R. Hehner (Q640291):
Displayed 28 items.
- A probability perspective (Q640292) (← links)
- A practical theory of programming (Q808685) (← links)
- Predicative methodology (Q1080649) (← links)
- Termination conventions and comparative semantics (Q1094864) (← links)
- Erratum to: ``Predicative methodology'' (Q1112583) (← links)
- Real-time programming (Q1115579) (← links)
- Bunch theory: A simple set theory for computer science (Q1149770) (← links)
- A methodology for programming with concurrency: An informal presentation (Q1167527) (← links)
- On removing the machine from the language (Q1247740) (← links)
- A contribution to the programming calculus (Q1251058) (← links)
- Formalization of time and space (Q1293892) (← links)
- Specifications, programs, and total correctness (Q1806131) (← links)
- From Boolean algebra to unified algebra (Q1889959) (← links)
- (Q3028321) (← links)
- (Q3028322) (← links)
- (Q3028323) (← links)
- Quantum Predicative Programming (Q3618837) (← links)
- Programming with Grammars: An Exercise in Methodology-Directed Language Design (Q3662588) (← links)
- Predicative programming Part I (Q3723675) (← links)
- Predicative programming Part II (Q3723676) (← links)
- (Q3797149) (← links)
- (Q3893272) (← links)
- Information Content of Programs and Operation Encoding (Q4128016) (← links)
- (Q4281675) (← links)
- (Q4472170) (← links)
- (Q4493907) (← links)
- Retrospective and Prospective for Unifying Theories of Programming (Q5307471) (← links)
- Mathematics of Program Construction (Q5313085) (← links)