GitHub Pages

Results: 5



#Item
1Mathematics / Mathematical logic / Theoretical computer science / Enumerative combinatorics / Enumeration / Ordering / Lambda calculus / Type theory / Enumerated type / Recursively enumerable set / Combinatory logic

JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1

Add to Reading List

Source URL: jeapostrophe.github.io

Language: English - Date: 2018-10-23 12:14:23
2Mathematics / Mathematical logic / Theoretical computer science / Enumerative combinatorics / Enumeration / Ordering / Lambda calculus / Type theory / Enumerated type / Recursively enumerable set / Combinatory logic

JFP 27, e19, 29 pages, 2017 https://doi.orgS0956796817000107 1

Add to Reading List

Source URL: jeapostrophe.github.io

Language: English - Date: 2018-10-23 12:14:23
3

This Is My Title First-Name Middle-Initia(if any)l Last-Name Organization Address; Email; Phone Brief Abstract (~0.5 pages): Body (~1.5 pages):

Add to Reading List

Source URL: ornlcda.github.io

- Date: 2016-09-13 12:46:20
    4

    BIOINFORMATICS APPLICATIONS NOTE Genome analysis Vol. 27 no, pages 3425–3426 doi:bioinformatics/btr569

    Add to Reading List

    Source URL: wurmlab.github.io

    Language: English - Date: 2018-07-17 05:51:18
      5

      TLDR Pages The Book Simplified and community-driven man pages tldr-pages.github.io

      Add to Reading List

      Source URL: tldr.sh

      - Date: 2018-03-31 05:52:09
        UPDATE