Robert Pollack (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

11

Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers Springer 2002

Selection of 1 from 11 records - Robert Pollack has 8 coauthors