Sciweavers

3179 search results - page 23 / 636
» Applications of PCF Theory
Sort
View
111
Voted
ISIPTA
1999
IEEE
236views Mathematics» more  ISIPTA 1999»
15 years 4 months ago
Partial Probability: Theory and Applications
Frans Voorbraak
95
Voted
KBSE
1999
IEEE
15 years 4 months ago
Industrial Applications of Software Synthesis via Category Theory
Keith E. Williamson, Michael Healy
94
Voted
LICS
1998
IEEE
15 years 4 months ago
A Theory of Recursive Domains with Applications to Concurrency
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel