Search results
- Protocol. Springer Monographs in Computer Science, 2005, 420 pages (ISBN 978-0-387-23759-6) Martin Wirsing, Jean-Pierre Banatre, Matthias Hölzl, Axel Rauschmayer...12 KB (1,190 words) - 09:58, 12 January 2023
- Curry–Howard Protocol, Monographs in Computer Science, Springer, ISBN 978-0-387-23759-6, concerns the adaptation of proofs-as-programs program synthesis to...56 KB (6,174 words) - 20:47, 8 September 2024