Robert Pollack

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
Slopes of modular forms and reducible Galois representations: an oversight in the ghost conjecture (available as arXiv preprint)	2021-10-15	Paper
Arithmetic properties of Fredholm series for \(p\)-adic modular forms Proceedings of the London Mathematical Society. Third Series	2016-11-25	Paper
scientific article; zbMATH DE number 2185673 (Why is no real title available?)	2005-07-04	Paper
Dependently typed records in type theory Formal Aspects of Computing	2002-09-25	Paper
scientific article; zbMATH DE number 1670760 (Why is no real title available?)	2001-12-18	Paper
scientific article; zbMATH DE number 1302064 (Why is no real title available?)	2000-05-17	Paper
Some lambda calculus and type theory formalized Journal of Automated Reasoning	2000-01-30	Paper
Using typed lambda calculus to implement formal systems on a machine Journal of Automated Reasoning	1993-12-20	Paper
scientific article; zbMATH DE number 512787 (Why is no real title available?)	1993-01-01	Paper
Type checking with universes Theoretical Computer Science	1992-06-26	Paper

Research outcomes over time

This page was built for person: Robert Pollack