Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Robin Adams" ( http://dblp.L3S.de/Authors/Robin_Adams )

  Author page on DBLP  Author page in RDF  Community of Robin Adams in ASPL-2

Publication years (Num. hits)
2003-2011 (13)
Publication types (Num. hits)
article(8) inproceedings(5)
Venues (Conferences, Journals, ...)
CoRR(3) TYPES(3) Mathematical Structures in Com...(2) ACM Trans. Comput. Log.(1) Ann. Pure Appl. Logic(1) ICLS(1) J. Funct. Program.(1) LFMTP(1)
Authors
Robin Adams(13) Zhaohui Luo(7) Llewellyn Mann(1) Saranya Srinivasan(1) Tiago Forin(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Robin Adams, Zhaohui Luo A pluralist approach to the formalisation of mathematics. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robin Adams, Zhaohui Luo Classical predicative logic-enriched type theories. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robin Adams, Zhaohui Luo Weyl's predicative classical mathematics as a logic-enriched type theory. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robin Adams, Tiago Forin, Saranya Srinivasan, Llewellyn Mann Cross-disciplinary practice in engineering contexts: a developmental phenomenographical perspective. Search on Bibsonomy ICLS The full citation details ... 2010 DBLP  BibTeX  RDF
1Robin Adams, Zhaohui Luo Classical Predicative Logic-Enriched Type Theories Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Robin Adams Coercive subtyping in lambda-free logical frameworks. Search on Bibsonomy LFMTP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zhaohui Luo, Robin Adams Structural subtyping for inductive types with functorial equality rules. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Robin Adams, Zhaohui Luo Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Robin Adams Lambda-Free Logical Frameworks Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Robin Adams Pure type systems with judgemental equality. Search on Bibsonomy J. Funct. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Robin Adams, Zhaohui Luo Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF logic-enriched type theory, predicativism, formalisation
1Robin Adams Formalized Metatheory with Terms Represented by an Indexed Family of Types. Search on Bibsonomy TYPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robin Adams A Modular Hierarchy of Logical Frameworks. Search on Bibsonomy TYPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.