Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

Logical framework research is based on the philosophical point of view that it should be possible to capture mathematical… Expand

Is this relevant?

2008

2008

Normalization for the simply-typed @l-calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since… Expand

Is this relevant?

Highly Cited

2007

Highly Cited

2007

It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this… Expand

Is this relevant?

2006

2006

Howe's HOL/Nuprl connection is an interesting example of a translation between two fundamentally different logics, namely a typed… Expand

Is this relevant?

2005

2005

Logical systems are represented in LF by giving a full and faithful (adequate) embedding of the deductive apparatus of the logic… Expand

Is this relevant?

2004

2004

Howe’s HOL/Nuprl connection is an interesting example of a translation between two fundamentally different logics, namely a typed… Expand

Is this relevant?

2001

2001

Abstract Logical frameworks are computer systems which allow a user to formalise mathematics using specially designed languages… Expand

Is this relevant?

Review

1999

Review

1999

Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of… Expand

Is this relevant?

1998

1998

This study outlines distributional properties and tests the applicability of different models for the ISEQ index and its major… Expand

Is this relevant?

1998

1998

This paper, using a multivariate VAR-GARCH analysis, examines the role of the UK stock market in the price behaviour of the ten… Expand

Is this relevant?