129107

References

Peter Dybjer

Program testing and the meaning explanations of intuitionistic type theory

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link