Erik Poll

From MaRDI portal
Person:1853751

Available identifiers

zbMath Open poll.erikMaRDI QIDQ1853751

List of research outcomes





PublicationDate of PublicationType
A Comparison of Time-Memory Trade-Off Attacks on Stream Ciphers2013-06-07Paper
From Algebras and Coalgebras to Dialgebras2013-04-26Paper
https://portal.mardi4nfdi.de/entity/Q47388552004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44176512003-07-29Paper
Coalgebras and monads in the semantics of Java2003-01-22Paper
https://portal.mardi4nfdi.de/entity/Q47855582003-01-05Paper
A coalgebraic semantics of subtyping2002-08-14Paper
https://portal.mardi4nfdi.de/entity/Q27717572002-02-18Paper
https://portal.mardi4nfdi.de/entity/Q27671712002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27641322002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q27220122001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q44993042001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q45188682000-12-03Paper
https://portal.mardi4nfdi.de/entity/Q45011612000-09-03Paper
https://portal.mardi4nfdi.de/entity/Q49452432000-06-07Paper
https://portal.mardi4nfdi.de/entity/Q47030421999-12-14Paper
https://portal.mardi4nfdi.de/entity/Q42638781999-11-21Paper
Expansion postponement for normalising pure type systems1999-08-17Paper
https://portal.mardi4nfdi.de/entity/Q43643961997-11-17Paper
https://portal.mardi4nfdi.de/entity/Q43100271994-10-24Paper
CPO-models for second order lambda calculus with recursive types and subtyping1993-11-15Paper

Research outcomes over time

This page was built for person: Erik Poll

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