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

Similar Items

Generative models for graphs
by: White, David H.
Published: (2009)

Formal verification of an OCCAM-to-FPGA compiler and its generated logic circuits
by: Pizarro De La Iglesia, D.
Published: (2009)

Programmable logic construction kit for massive qualitative analysis of neuronal networks with an application to machine olfaction
by: Guerrero, Ruben
Published: (2010)

Incorporating Higher Level Structure in Visual SLAM
by: Gee, Andrew P.
Published: (2010)

Neural network-on-chip : A connection-centric reconfigurable platform for biological neural network models
by: Emery, Robin
Published: (2010)

Motion compensation for image sequence coding
by: Wang, Qi
Published: (1991)

Direct and indirect parametric multiple motion estimation in image sequences and their application in layer-based angiographic image compression
by: Toro, Javier G.
Published: (2000)

Video analysis for content-based applications
by: Chan, Stephen Chi Yee
Published: (2001)

Tracking in uncertain environments
by: Salmond, David J.
Published: (1989)

Evolutionary computing techniques for handling variable interaction in engineering design optimisation
by: Tiwari, Ashutosh
Published: (2001)

Application of high level languages for water network modelling
by: Bounds, Peter Lewis Mark
Published: (2001)

Investigation of vision based system for passenger position recognition
by: Liong, Choong Yeun
Published: (2001)

Methods and metrics for image classification with application to low vision
by: Everingham, Mark Richard
Published: (2002)

Mathematical modelling and computer-aided design of diaphragms and capsules for instrument transducers
by: Turley, Alan J.
Published: (1977)

A GA approach to constraint satisfaction problems
by: Warwick, T. J.
Published: (1995)

Homogenization and topological structural optimization
by: Hassani, B.
Published: (1995)

Optimisation of performance in the triple jump using computer simulation
by: Allen, Samuel J.
Published: (2010)

Application of Bayesian Belief Networks to system fault diagnostics
by: Lampis, Mariapia
Published: (2010)

Implicit LES of turbulent compressible high-speed flows with transverse jet injection
by: Rana, Zeeshan Ahmed
Published: (2011)

The development of a mathematical model and computer program for simulating the injection moulding of thermosetting elastomer materials
by: Bowers, Stephen
Published: (1990)

Methodologies for CIM systems integration in small batch manufacturing
by: Walton, Andrew N.
Published: (1990)

Fuzzy approach to construction activity estimation
by: Shin, Hyung John
Published: (1994)

Advanced computational modelling and simulation of transition to turbulence in separated suddenly-expanded channel flows
by: Vamvakoulas, Christos
Published: (2010)

Analysis of composite wing structures with a morphing leading edge
by: Morishima, Ryoko
Published: (2011)

Robust gain-scheduled H∞ control for unmanned aerial vehicles
by: Chumalee, Sunan
Published: (2010)

Numerical modelling of multi-material interfaces
by: Hill, Ryan
Published: (2011)

A system for aiding the user assimilation of acquired motorsport data
by: Parker, Matthew C.
Published: (2010)

Investigating Local Feature Diversity in Image Classification
by: Robinson, Neil
Published: (2009)

Visualization of Uncertainty in Scientific Data
by: Osorio, Rodolfo Sebastian Allendes
Published: (2010)

Design of an efficient list decoding system for reed-Soloman and alebraic geometric codes
by: Chen, Li
Published: (2007)

Mitigating Single Event Transients in Dual Rail Muller Pipelines
by: Gardiner, Kelvin Thomas
Published: (2009)

Molecular Algorithms for Evolutionary Computation
by: Rohlfshagen, Philipp
Published: (2008)

Development and prototyping of haptic interactions for data exploration
by: Paneels, Sabrina A.
Published: (2010)

Fingerprint image processing for generating biometric cryptographic key
by: Mokhled, Al Tarawneh
Published: (2008)

The analysis and optimisation of performance and reliability metrics of capacitive links in deep submicron semiconductor technologies
by: Halek, Basel
Published: (2010)

Towards Empathy in Humanoids - Facial Behaviour Modelling and the Application to Robotic Faces
by: Jaeckel, Peter
Published: (2010)

Study on motion stability of tracked autonumous mobile robots
by: Ma, Yue
Published: (2010)

System-on-chip accelerator of wheel-rail contact laws
by: Zhou, Yongji
Published: (2010)

A user-orientated electronic laboratory notebook for the retrieval of scientific provenance grounded in EUROCHAMP-2 community
by: Zaki, Zulkifly Mohd
Published: (2012)

Structural and energetic properties form atomistic calculations
by: MacLeod, Robert Malcolm
Published: (2010)