Search

Results 1-5 of 5
Publication DateTitleAuthor(s)
28-Jul-2002Foundation of a computable solid modellingEdalat, A; Lieutier, A
1-Aug-2004An extension of Gleason's theorem for quantum computationEdalat, A
1-Jul-2000Integration in real PCFEdalat, A; Escardo, MH
1-Dec-2004Domain theory and differential calculus (functions of one variable)Edalat, A; Lieutier, A
5-Dec-2006A flexible model for dynamic linking in Java and C#Drossopoulou, S; Lagorio, G; Eisenbach, S
  • previous
  • 1
  • next