Author:
Bird Richard,Gibbons Jeremy,Hinze Ralf,Höfner Peter,Jeuring Johan,Meertens Lambert,Möller Bernhard,Morgan Carroll,Schrijvers Tom,Swierstra Wouter,Wu Nicolas
Publisher
Springer International Publishing
Reference203 articles.
1. Aarts, C., et al.: Fixed-point calculus. Inf. Process. Lett. 53(3), 131–136 (1995)
2. Agresti, W.M.: What are the new paradigms? In: Agresti, W.M. (ed.) New Paradigms for Software Development. IEEE Computer Society Press (1986)
3. Alpuim, J., Swierstra, W.: Embedding the refinement calculus in Coq. Sci. Comput. Program. 164, 37–48 (2018)
4. IFIP — The International Federation for Information Processing;T Altenkirch,2003
5. Armstrong, A., Struth, G., Weber, T.: Kleene algebra. Archive of Formal Proofs (2013). http://isa-afp.org/entries/Kleene_Algebra.html