John Curry

Adapting Proofs-as-Programs: The Curry--Howard Protocol  eBooks & eLearning

Posted by AvaxGenius at April 5, 2025
Adapting Proofs-as-Programs: The Curry--Howard Protocol

Adapting Proofs-as-Programs: The Curry–Howard Protocol by Iman Hafiz Poernomo , Martin Wirsing , John Newsome Crossley
English | PDF (True) | 2005 | 417 Pages | ISBN : 0387237593 | 2.6 MB

This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has been over thirty years since the paradigm was ?rst conceived. At that time, there was a belief that proofs-as-programs had the - tential for practical application to semi-automated software development. I- tial applications were mostly concerned with ?ne-grain, mathematical program synthesis. For various reasons, research interest in the area eventually tended toward more theoretic issues of constructive logic and type theory. However, in recent years, the situation has become more balanced, and there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts.

Donald Featherstone's Complete Wargaming Revised Edition  eBooks & eLearning

Posted by Free butterfly at Feb. 23, 2020
Donald Featherstone's Complete Wargaming Revised Edition

Donald Featherstone's Complete Wargaming Revised Edition by John Curry
ISBN: 1291034765 | 266 pages | PDF | September 18, 2012 | English | 90 Mb
The Bud DeTar Big Band - Live At S.U.N.Y. Brockport (1999) {Self Released DS0113}

The Bud DeTar Big Band - Live At S.U.N.Y. Brockport (1999) {Self Released DS0113}
EAC rip (secure mode) | FLAC (tracks)+CUE+LOG -> 422 Mb | MP3 @320 -> 169 Mb
Full Artwork @ 600 dpi (png) -> 34 Mb | 5% repair rar
© 1999 Self Released | DS0113
Jazz / Modern Big Band

Francis E. "Bud" DeTar was a long time resident of Brockport, NY. Born in Albion, NY, in 1922 and died on November 23, 2008. A well known local musician, Bud was a graduate of Rochester's Jefferson High School (1938), SUNY Brockport and the Eastman School of Music. Bud was an Army combat veteran of World War II in Europe. He served on the faculty of the music department at SUNY Brockport. Throughout his life Bud was a performing musician and bandleader in the Rochester area, with The Dixieland Ramblers, The Gates Swingers and other popular groups. The concerts performed by The Bud DeTar Big Band at the SUNY Brockport campus, several seasons in the 1990's, were quite memorable.

The Ice King  Movies

Posted by at Dec. 19, 2020
The Ice King

The Ice King (2018)
The greatest skater of all time, John Curry transformed a dated sport into an art form. Coming out on the night of his Olympic win in 1976, he became the first openly gay Olympian in a time when homosexuality was not even fully legal.
Documentary 

Daryl Hall and John Oates - H₂O (1982) [1987, Reissue]  Music

Posted by BlondStyle at Jan. 25, 2021
Daryl Hall and John Oates - H₂O (1982) [1987, Reissue]

Daryl Hall + John Oates - H₂O (1982) [1987, Reissue]
Pop/Rock, Blue-Eyed Soul, Electronic | EAC Rip | FLAC, Img+CUE+LOG+Scans (PNG) | 45:37 | 482,94 Mb
Label: RCA Records (Germany) | Cat.# PD84383 | Released: 1987-09-28 (1982-10-04)

"H₂O" is the 11th studio album by American pop music duo Hall & Oates. The album was released on October 4, 1982, by RCA Records. It featured three Top 10 US singles, one being "Maneater", which was the biggest hit of their career, spending four weeks at #1 on the Billboard Hot 100 chart. The album title is a play on the chemical formula for water, where "H" is for Hall and "O" is for Oates. "H₂O" is certified double Platinum by the RIAA with sales of over two million copies.

ITV - Barging Round Britain with John Sergeant (2015)  Movies

Posted by Polik88 at May 13, 2015
ITV - Barging Round Britain with John Sergeant (2015)

ITV - Barging Round Britain with John Sergeant (2015)
HDTV | English | MP4 | 1024x576 | AVC 2992 Kbps 25.000 fps | AAC 160 Kbps 48.0 khz | 8x23mn | 8x502 MB
Genre: Documentary

Eight-part travel series in which John Sergeant tours some of Britain's much-loved waterways on a canal boat. The journey takes the former political journalist all over the country including visits to the Hebrides and Somerset.
John Torode's Sydney to Seoul: Recipes from my travels in Australia and the Far East

John Torode, "John Torode's Sydney to Seoul: Recipes from my travels in Australia and the Far East"
English | 2019 | ISBN: 1472225864 | 272 pages | EPUB | 14.3 MB

We Three Kings of Orient Are - Jr. John Henry Hopkins (Piano Solo)  Sheet music

Posted by Gelsomino at March 8, 2023
We Three Kings of Orient Are - Jr. John Henry Hopkins (Piano Solo)

We Three Kings of Orient Are - Jr. John Henry Hopkins (Piano Solo)
English | 8 pages | PDF | 4.8 MB

I Wonder As I Wander - John Jacob Niles (Piano Solo)  Sheet music

Posted by Gelsomino at July 31, 2023
I Wonder As I Wander - John Jacob Niles (Piano Solo)

I Wonder As I Wander - John Jacob Niles (Piano Solo)
English | 3 pages | PDF | 3.8 MB

The Medieval Horse and Its Equipment C. 1150-C. 1450 by John Clark  eBooks & eLearning

Posted by Free butterfly at May 8, 2015
The Medieval Horse and Its Equipment C. 1150-C. 1450 by John Clark

The Medieval Horse and Its Equipment C. 1150-C. 1450 (Medieval Finds from Excavations in London) by John Clark
English | Oct 1995 | ISBN: 0112904858 | 199 Pages | PDF | 35 MB

Whether knight's charger or beast of burden, horses played a vital role in medieval life. The wealth of medieval finds excavated in London in recent years has, not surprisingly, included many objects associated with horses.