International Journal of Biological Macromolecules · 1996 · 172 citations · 5 references
HumanitiesComputer ScienceMathematicsFormal MethodsLogicSemanticsFirst-order LogicFormal SemanticsIntuitionistic LogicMathematical LogicModel TheoryType SystemsCategorical SemanticsIntuitionistic Type TheoryType TheoryType-logical Semantics
This paper describes cloning, expression, characterization and crystallization of feruloyl esterase from Aspergillus awamori. The gene coding for feruloyl esterase from A. awamori was amplified, cloned, and expressed in Escherichia coli. The recombinant enzyme was purified, characterized and used for crystallization. Its X-ray crystallographic data were collected and explained using molecular replacement theory. Also, the tertiary structure of the recombinant enzyme-ferulic acid complex was also determined.
5
Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations
Computational interpretations of linear logic
Samson Abramsky · Theoretical Computer Science · 1993 · 413 citations
Jean-Yves Girard · Annals of Pure and Applied Logic · 1993 · 198 citations
Linear logic, monads and the lambda calculus
Nick Benton, Philip Wadler · 2002 · 100 citations
Gordon Plotkin · 2002 · 44 citations
Humanities, Computer Science, Syntax +10