Social and Behavioral Sciences Commons^™

Pure Type Systems With More Liberal Rules, Martin W. Bunder, Wil Dekkers

Faculty of Engineering and Information Sciences - Papers: Part A

Pure Type Systems. PTSs, introduced as a generalisation of the type systems of Barendregt's lambda-cube, provide a foundation for actual proof assistants, aiming at the mechanic verification of formal proofs. In this paper we consider simplifications of some of the rules of PTSs. This is of independent interest for PTSs as this produces more flexible PTS-like systems, but it will also help, in a later paper, to bridge the gap between PTSs and systems of Illative Combinatory Logic.

First we consider a simplification of the start and weakening rules of PTSs. which allows contexts to be sets of statements, and …

Molecular Dynamics Simulation Of Biomolecular Systems, Wilfred Van Gunsteren, Dirk Bakowies, Roland Buergi, Indira Chandrasekhar, Markus Christen, Xavier Daura, Peter Gee, Alice Glaettli, Tomas Hansson, Chris Oostenbrink, Christine Peter, Jed Pitera, Lukas Schuler, Thereza Soares, Haibo Yu

Faculty of Science - Papers (Archive)

The group for computer-aided chemistry at the ETH Zurich focuses its research on the development of methodology to simulate the behavior of biomolecular systems and the use of simulation techniques to analyze and understand biomolecular processes at the atomic level. Here, the current research directions are briefly reviewed and illustrated with a few examples.