System T and the Product of Selection Functions

Martin Escardo; P Oliva; T Powell; M Bezem

System T and the Product of Selection Functions

Martin Escardo, P Oliva, T Powell, M Bezem

Computer Science

Research output: Contribution to conference (unpublished) › Paper

8 Citations (Scopus)

Original language	English
Pages	233-247
Number of pages	15
Publication status	Published - 31 Aug 2011
Event	Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL - Duration: 31 Aug 2011 → …

Conference

Conference	Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL
Period	31/08/11 → …

Cite this

@conference{42abdd2c61ae43f788ae11f12ba0d232,

title = "System T and the Product of Selection Functions",

author = "Martin Escardo and P Oliva and T Powell and M Bezem",

year = "2011",

month = aug,

day = "31",

language = "English",

pages = "233--247",

note = "Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL ; Conference date: 31-08-2011",

}