Michael Spivey
From MaRDI portal
Person:1816919
Available identifiers
zbMath Open spivey.michael-jMaRDI QIDQ1816919
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 |
|---|---|---|
| On Barron and Strachey's Cartesian product function | 2014-07-21 | Paper |
| When maybe is not good enough | 2013-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737307 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421871 | 2003-09-01 | Paper |
| Retroactive interference in neural netwoks and in humans: The effect of pattern-based learning | 2002-02-28 | Paper |
| The consistency theorem for free type definitions in \(Z\) | 2001-05-17 | Paper |
| Combinators for breadth-first search | 2001-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520831 | 2001-02-27 | Paper |
| Richer types for \(Z\) | 1996-12-01 | Paper |
Research outcomes over time
This page was built for person: Michael Spivey