Randy Pollack
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Closure under alpha-conversion Lecture Notes in Computer Science | 2023-12-08 | Paper |
| Certified complexity (CerCo) Foundational and Practical Aspects of Resource Analysis | 2016-01-07 | Paper |
| Engineering formal metatheory Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Viewing \({\lambda}\)-terms through maps Indagationes Mathematicae. New Series | 2014-09-03 | Paper |
| A verified information-flow architecture Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| A canonical locally named representation of binding Journal of Automated Reasoning | 2013-08-01 | Paper |
| External and internal syntax of the \(\lambda \)-calculus Journal of Symbolic Computation | 2010-05-05 | Paper |
| Theorem Proving in Higher Order Logics Lecture Notes in Computer Science | 2005-08-18 | Paper |
| scientific article; zbMATH DE number 2182489 (Why is no real title available?) | 2005-06-23 | Paper |
| scientific article; zbMATH DE number 2061705 (Why is no real title available?) | 2004-03-22 | Paper |
| A constructive algebraic hierarchy in Coq. Journal of Symbolic Computation | 2003-08-21 | Paper |
Research outcomes over time
This page was built for person: Randy Pollack
