Conclusion

a perspective on future research in fom

2011

Giovanni Sommaruga, John L. Bell

in: Foundational theories of classical and constructive mathematics, Berlin,

Foundational theories of classical and constructive mathematics

2011

Giovanni Sommaruga (ed)

Berlin, Springer

History and philosophy of constructive type theory

2000

Giovanni Sommaruga

Berlin, Springer