Sciweavers

3179 search results - page 23 / 636
» Applications of PCF Theory
Sort
View
111
Voted
KBSE
1999
IEEE
15 years 7 months ago
Industrial Applications of Software Synthesis via Category Theory
Keith E. Williamson, Michael Healy
113
Voted
LICS
1998
IEEE
15 years 7 months ago
A Theory of Recursive Domains with Applications to Concurrency
Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel