PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperChanges of Tc under epitaxial strain: Implications for the mechanism of superconductivityJ.P. Locquet, J. Perret, et al.SPIE Optical Science, Engineering, and Instrumentation 1998
PaperOn the capacities of bipartite Hamiltonians and unitary gatesCharles H. Bennett, Aram W. Harrow, et al.IEEE Trans. Inf. Theory