MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dusko Pavlovic" – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 27 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Guarded Induction on Final Coalgebras  
  • by Dusko Pavlovic — 1998
  • …://www.elsevier.nl/locate/entcs/volume11.html 18 pages Guarded induction on final coalgebras Dusko Pavlovi'c 1 COGS, University of Sussex…
  • Add To MetaCart
  • Maps II: Chasing Diagrams in Categorical Proof Theory  
  • by Dusko Pavlovic, Jim Lambek — 1996
  • …In categorical proof theory, propositions and proofs are presented as objects and arrows in a category. It thus embodies the strong constructivist paradigms of propositions-as-types and proofs-as-constructions, which lie in the foundation of computational logic. Moreover, in the categorical setting,…
  • Cited by 5 (2 self)Add To MetaCart
  • unknown title  
  • by Nancy Durgin, John Mitchell, Dusko Pavlovic
  • … A compositional logic for protocol correctness \Lambda Nancy Durgin John Mitchell Dusko
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB