Current Trends in Logical Frameworks and Metalanguages David BasinAmy Felty Editorial Introduction Pages: 1 - 2
An Implementation of LF with Coercive Subtyping & Universes Paul CallaghanZhaohui Luo OriginalPaper Pages: 3 - 27
Studies of a Theory of Specifications with Built-in Program Extraction Paula SeveriNora Szasz OriginalPaper Pages: 61 - 87