Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Vries, F.-J. de
Volume
Title
25
Applications of constructive logic to sheaf constructions in toposes
Vries, F.-J. de
23
A functional program for Gaussian Elimination
Vries, F.-J. de
19
A functional program for the Fast Fourier Transform
Vries, F.-J. de
7
Intuitionistic free Abelian groups
Dalen, D. van
|
Vries, F.-J. de
Online