Steve Dunne | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Frank Zeyda
6 publications
Bill Stoddart
3 publications

research

∙ 11/11/2019

Bunch theory: working notes on applications, axioms and models

In his book "A practical theory of programming" Eric Hehner proposes and...

0 Bill Stoddart, et al. ∙

research

∙ 11/11/2019

Bunch theory, applications, axioms and models

In his book "A practical theory of programming" Eric Hehner proposes and...

0 Bill Stoddart, et al. ∙