Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for hyperdoctrines with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-2021 (8)
Publication types (Num. hits)
article(5) inproceedings(3)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(1) CALCO(1) CoRR(1) ESOP(1) Inf. Comput.(1) Math. Log. Q.(1) Math. Struct. Comput. Sci.(1) REX Workshop(1)
Authors
Bodil Biering(2) Davide Castelnovo(2) Lars Birkedal(2) Marino Miculan(2) Noah Torp-Smith(2) Robert A. G. Seely(2) Andrew M. Pitts(1) Frank Nordemann(1) Peter M. W. Knijnenburg(1) Philip J. Scott(1) Prakash Panangaden(1) Roy L. Crole(1) Vijay A. Saraswat(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
68Bodil Biering, Lars Birkedal, Noah Torp-Smith BI-hyperdoctrines, higher-order separation logic, and abstraction. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF hyperdoctrines, abstraction, Separation logic
36Davide Castelnovo, Marino Miculan Closure Hyperdoctrines. Search on Bibsonomy CALCO The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
36Davide Castelnovo, Marino Miculan Closure hyperdoctrines, with paths. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
36Bodil Biering, Lars Birkedal, Noah Torp-Smith BI Hyperdoctrines and Higher-Order Separation Logic. Search on Bibsonomy ESOP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Peter M. W. Knijnenburg, Frank Nordemann Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
36Roy L. Crole, Andrew M. Pitts New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic Search on Bibsonomy Inf. Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
36Robert A. G. Seely Hyperdoctrines, Natural Deduction and the Beck Condition. Search on Bibsonomy Math. Log. Q. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
33Prakash Panangaden, Vijay A. Saraswat, Philip J. Scott, Robert A. G. Seely A Hyperdoctrinal View of Concurrent Constraint Programming. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF hyperdoctrines, constraint programs, asynchronous systems, closure operators, fibrations
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license