Loading [MathJax]/jax/output/SVG/config.js
Skip to main content Accessibility help
×

Special issue: Programming with Dependent Types

Guest Editors: Wouter Swierstra, Utrecht University, The Netherlands and Peter Dybjer, Chalmers University of Technology, Sweden

Articles