Amanote Research
Register
Sign In
Pure Type Systems With Definitions
doi 10.1007/1-4020-2335-9_9
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Unknown
Publisher
Kluwer Academic Publishers
Related search
Pure Type Systems With De Bruijn Indices
Computer Journal
Computer Science
A-Translation and Looping Combinators in Pure Type Systems
Journal of Functional Programming
Software
Pure Science, Applied Science, Technology, Engineering: An Attempt at Definitions
Technology and Culture
Engineering
History
On Stability Definitions of Dynamical Systems
Global Attractivity of N-Species Competition Systems With Pure Distributed Delays
Journal of Nonlinear Functional Analysis
Control
Numerical Analysis
Algebra
Geometry
Fluid Flow
Analysis
Number Theory
Optimization
Transfer Processes
Topology
Pure Type System Conversion Is Always Typable
Journal of Functional Programming
Software
Pure Modal Logic of Names and Tableau Systems
Studia Logica
Philosophy of Science
Logic
History
Definitions of Managed Objects for the SONET/SDH Interface Type
Development of Systems for 3D Target/Organ Definitions and Contouring
