<--- Back to Details
First PageDocument Content
Ornithology / Eurasia / Jay / Corvidae / Karel Voous / Fauna of Asia / Eurasian Jay / Garrulus
Ornithology
Eurasia
Jay
Corvidae
Karel Voous
Fauna of Asia
Eurasian Jay
Garrulus

Add to Reading List

Source URL: digitallibrary.amnh.org

Download Document from Source Website

Share Document on Facebook

Similar Documents

Computer programming / Software engineering / Type theory / Declarative programming / Functional programming / Adjoint functors / Monad / HindleyMilner type system / Variety / Redblack tree / List

A Coq Library For Internal Verification of Running-Times Jay McCarthy1 , Burke Fetscher2 , Max New2 , Daniel Feltey2 , and Robert Bruce Findler2 1

DocID: 1xV5p - View Document

Computer programming / Software engineering / Type theory / Computing / Functional programming / Adjoint functors / Monad / HindleyMilner type system / Variety / Redblack tree / List

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

DocID: 1xUmF - View Document

Computer programming / Software engineering / Type theory / Computing / Functional programming / Adjoint functors / Monad / HindleyMilner type system / Variety / Redblack tree / List

A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University

DocID: 1xUff - View Document

BV/S HOA Board of Directors Meeting Minutes November 8, 2017 Present: Jacque Forrest, Jay Forrest, Charlie DeWeese, Suzie LaPlant, Pat Zigrossi, Desiree Golden, Gil Roebuck, Nancy Shindler. Absent: Jason Lee, Janice Mull

DocID: 1vqZE - View Document

FLORIDA TRANSPORTATION COMMISSION Jay Trumbull, Chairman Ken Wright, Vice-Chairman Beth Kigel, Secretary John Browning Donnie Ellington

DocID: 1vqSv - View Document