564 results found in 0.027 second.
  • Volume 4, No. 2

    Volume 4, No. 2
    12 Pages·2006·1.11 MB
    This book, about the life of Gerald M. Friedman, in reality spans a time period far greater than  ...
  • A Fresh Name in Nominal Logic Programming.

    A Fresh Name in Nominal Logic Programming.
    12 Pages·2007·503 KB
    ming language (Byrd and Friedman 2006) with operators for nominal logic tweaking by Mitch Wand  ...
  • αKanren

    αKanren
    12 Pages·2007·503 KB
    ming language (Byrd and Friedman 2006) with operators for nominal Proceedings of the 2007  ...
  • αKanren A Fresh Name in Nominal Logic Programming

    αKanren A Fresh Name in Nominal Logic Programming
    12 Pages·2016·503 KB·New!
    αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman  ...
Can't find what you're looking for? Try pdfdrive:hope to request a book.
4300万本书和9800万篇文章。
Get Top Trending Free Books in Your Inbox
“ Be like the sun for grace and mercy. Be like the night to cover others' faults. Be like running water for generosity. Be like death for rage and anger. Be like the Earth for modesty. Appear as you are. Be as you appear. ” ― Rumi
Ask yourself: What have you done in your life that you are most proud of? Next