MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Randy Pollack" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Closure Under Alpha-Conversion  
  • by Randy Pollack — 1993 — In The Informal Proceeding of the 1993 Workshop on Types for Proofs and Programs
  • …Closure Under Alpha-Conversion ? ?? Randy Pollack Laboratory for Foundations of Computer Science…
  • Cited by 13 (2 self) – Add To MetaCart
  • Typechecking in Pure Type Systems  
  • by Randy Pollack, Eric Poll — 1992 — Informal proceedings of Logical Frameworks'92
  • …Typechecking in Pure Type Systems Randy Pollack LFCS, University of Edinburgh Retraction…
  • Cited by 5 (2 self) – Add To MetaCart
  • For Example  
  • by Randy Pollack, Judgement Forms, Judgement Forms, Judgement Forms, Judgement Forms — 1983
  • …Some Recent Logical Frameworks Some Recent Logical Frameworks Randy Pollack LFCS, University…
  • Cited by 1 (0 self) – Add To MetaCart
  • Engineering formal metatheory  
  • by Brian Aydemir, Randy Pollack — 2008 — In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  • … Metatheory Randy Pollack University of Edinburgh rpollack@(email omitted); Machine-checked proofs of properties…
  • Cited by 17 (3 self) – Add To MetaCart
  • Modules as Dependently Typed Records  
  • by Thierry Coquand, Randy Pollack, Y Pollack, Makoto Takeyama — 2002
  • …Modules as dependently typed records Thierry Coquand, Randy Pollack and Makoto Takeyama February…
  • Add To MetaCart
  • Incremental Changes in LEGO  
  • by Randy Pollack And, Y Pollack, Claire Jones — 1994
  • …Incremental Changes in LEGO Randy Pollack and Claire Jones LFCS, University of Edinburgh May 20…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB