Robert Pollack

From MaRDI portal
Person:688570

Available identifiers

zbMath Open pollack.robert.1MaRDI QIDQ688570

List of research outcomes





PublicationDate of PublicationType
Slopes of modular forms and reducible Galois representations: an oversight in the ghost conjecture2021-10-15Paper
Arithmetic properties of Fredholm series for \(p\)-adic modular forms2016-11-25Paper
https://portal.mardi4nfdi.de/entity/Q30248492005-07-04Paper
Dependently typed records in type theory2002-09-25Paper
https://portal.mardi4nfdi.de/entity/Q27540632001-12-18Paper
https://portal.mardi4nfdi.de/entity/Q42473092000-05-17Paper
Some lambda calculus and type theory formalized2000-01-30Paper
Using typed lambda calculus to implement formal systems on a machine1993-12-20Paper
https://portal.mardi4nfdi.de/entity/Q42814801993-01-01Paper
Type checking with universes1992-06-26Paper

Research outcomes over time

This page was built for person: Robert Pollack

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:688570&oldid=6730521"
Powered by MediaWiki