Ponse, Alban

1. Division by zero in common meadows
   2014/06/26 by J.A. Bergstra, Alban Ponse, Bergstra, Jan A. +1 · 1 citation
   Computer Science · Mathematics · #Polynomial and algebraic computation #Numerical Methods and Algorithms #Mathematical and Theoretical Analysis
2. On Hoare-McCarthy algebras
   2010/12/22 by J.A. Bergstra, Bergstra, Jan A., Alban Ponse +1 · 1 citation
   Computer Science · #Advanced Algebra and Logic #F.3.2 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Projection semantics for rigid loops
   2007/07/06 by J.A. Bergstra, Bergstra, Jan A., Alban Ponse +1 · 3 citations
   Computer Science · #D.2.4 #D.3.1 #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)
4. A progression ring for interfaces of instruction sequences, threads, and services
   2009/09/15 by J.A. Bergstra, Bergstra, Jan A., Alban Ponse +1 · 3 citations
   Computer Science · #Advanced Software Engineering Methodologies #D.2.2 #D.3.1 #Embedded Systems Design Techniques #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL)