# System T and the Product of Selection Functions

Research output: Contribution to conference (unpublished) › Paper

## Standard

**System T and the Product of Selection Functions.** / Escardo, Martin; Oliva, P; Powell, T; Bezem, M.

Research output: Contribution to conference (unpublished) › Paper

## Harvard

Escardo, M, Oliva, P, Powell, T & Bezem, M 2011, 'System T and the Product of Selection Functions', Paper presented at Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL, 31/08/11 pp. 233-247.

## APA

Escardo, M., Oliva, P., Powell, T., & Bezem, M. (2011).

*System T and the Product of Selection Functions*. 233-247. Paper presented at Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL, .## Vancouver

Escardo M, Oliva P, Powell T, Bezem M. System T and the Product of Selection Functions. 2011. Paper presented at Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL, .

## Author

## Bibtex

@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",

}

## RIS

TY - CONF

T1 - System T and the Product of Selection Functions

AU - Escardo, Martin

AU - Oliva, P

AU - Powell, T

AU - Bezem, M

PY - 2011/8/31

Y1 - 2011/8/31

M3 - Paper

SP - 233

EP - 247

T2 - Computer Science Logic (CSL'11) - Proceedings of the 25th International Workshop/20th Annual Conference of the EACSL

Y2 - 31 August 2011

ER -