Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 8 items matching your search terms

Subscribe to an always-updated feed of these search terms

Page Colin Stirling
Application of automata and games to systems with binding
Page William Stirton
Some facts about polymorphically typed combinatory logic
Page Jane Hillston
0.05 makes a crowd!
Page Julian Bradfield
The Standard Model in a nut(of the sea)* shell
Page Benedict Kavanagh
A review of Topology and its many application in Informatics
Page Stephen Gilmore
On Verifying Bio-PEPA Models
Page Stratis Viglas
Holistic Query Evaluation
Page Paul Jackson
High-assurance software symposium