Robert Pollack

Available identifiers

zbMath Open pollack.robert.1MaRDI QIDQ688570

List of research outcomes

Publication	Date of Publication	Type
Slopes of modular forms and reducible Galois representations: an oversight in the ghost conjecture	2021-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q3024849	2005-07-04	Paper
Dependently typed records in type theory	2002-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2754063	2001-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q4247309	2000-05-17	Paper
Some lambda calculus and type theory formalized	2000-01-30	Paper
Using typed lambda calculus to implement formal systems on a machine	1993-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4281480	1993-01-01	Paper
Type checking with universes	1992-06-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert Pollack