Journal Article
Distributed representations, simple recurrent networks, and grammatical structure
Jeffrey L. Elman
Machine Learning, 1991, Volume 7, Numbers 2-3, Pages 195-225
Journal Article
Distributed Representations, Simple Recurrent Networks, And Grammatical Structure
Jeffrey L. Elman
Machine Learning, 1991, Volume 7, Numbers 2-3, Pages 195-225
Journal Article
Content: Covariation, control and contingency
J. Christopher Maloney
Synthese, 1994, Volume 100, Number 2, Pages 241-290
Journal Article
Content, Computation, and Individuation
Keith Butler
Synthese, 1998, Volume 114, Number 2, Pages 277-292
Book Chapter
A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties
Paweł T. Wojciechowski
Lecture Notes in Computer Science, 2006, Volume 4089, Software Composition, Pages 131-146
Book Chapter
Induction principles formalized in the calculus of constructions
Gérard Huet
Lecture Notes in Computer Science, 1987, Volume 249, TAPSOFT '87, Pages 276-286
Book Chapter
Support for Design Patterns through Graph Transformation Tools
Ansgar Radermacher
Lecture Notes in Computer Science, 2000, Volume 1779, Applications of Graph Transformations with Industrial Relevance, Pages 229-238
Book Chapter
A Logical Framework with Dependently Typed Records
Thierry Coquand, Randy Pollack and Makoto Takeyama
Lecture Notes in Computer Science, 2003, Volume 2701, Typed Lambda Calculi and Applications, Page 1086
Book Chapter
Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa
Didier Rémy
Lecture Notes in Computer Science, 2002, Volume 2395, Applied Semantics, Pages 115-137
Book Chapter
Modeling an Algebraic Stepper
John Clements, Matthew Flatt and Matthias Felleisen
Lecture Notes in Computer Science, 2001, Volume 2028, Programming Languages and Systems, Pages 320-334