Control in the π-Calculus [Extended Abstract] 1. Kohei Honda

First Page		Document Content
Date: 2004-01-11 10:44:35 Mathematical logic Lambda calculus Logic in computer science Models of computation Curry–Howard correspondence Natural deduction Symbol Valuation Π-calculus Mathematics Proof theory Theoretical computer science		Control in the π-Calculus [Extended Abstract] 1. Kohei Honda Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 97,64 KB Share Document on Facebook

	Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook DocID: 1t3Gc - View Document
	INSTRUCTIONS FOR PRODUCING A CAMERA-READY MANUSCRIPT A.B. AUTHOR Department of Physics, Theoretical Physics, 1 Keble Road, Oxford OX1 3NP, England This is where the abstract should be placed. It should consist of one pa DocID: 1gnrI - View Document
	Unbounded Proof-Length Speed-up in Deduction Modulo Guillaume Burel1 1 Universit´e Henri Poincar´e & LORIA2 DocID: 1ggFx - View Document
	Self-Representation in Girard’s System U Keywords Lambda Calculus; Self Representation; Types 1. DocID: 1g42s - View Document
	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and DocID: 1g1O8 - View Document