Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting

Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting

Bibliographic Details
Main Author: Raghunandan, Jayshan
Published: Imperial College London 2009
Subjects:
502.85
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508781
id ndltd-bl.uk-oai-ethos.bl.uk-508781
record_format oai_dc
spelling ndltd-bl.uk-oai-ethos.bl.uk-5087812015-03-20T06:16:10ZCurry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph RewritingRaghunandan, Jayshan2009502.85Imperial College Londonhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508781Electronic Thesis or Dissertation
collection NDLTD
sources NDLTD
topic 502.85
spellingShingle 502.85
Raghunandan, Jayshan
Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting
author Raghunandan, Jayshan
author_facet Raghunandan, Jayshan
author_sort Raghunandan, Jayshan
title Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting
title_short Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting
title_full Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting
title_fullStr Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting
title_full_unstemmed Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting
title_sort curry-howard calculi from classical logical connectives : a generic tool for higher-order term graph rewriting
publisher Imperial College London
publishDate 2009
url http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508781
work_keys_str_mv AT raghunandanjayshan curryhowardcalculifromclassicallogicalconnectivesagenerictoolforhigherordertermgraphrewriting
_version_ 1716796121240567808

Similar Items