Find link

language:

Find link is a tool written by Edward Betts.

searching for Nuprl 3 found (34 total)

alternate case: nuprl

Descending wedge (330 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-89116-240-7. Constable, Robert L. (1986). Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall. ISBN 978-0-13-451832-9. Malatesta

Iterated binary operation (1,042 words) [view diff] exact match in snippet view article find links to article

Mathworld. Retrieved 30 January 2018. Bulk action Parallel prefix operation Archived 2013-06-03 at the Wayback Machine Nuprl iterated binary operations

Higher-order abstract syntax (1,074 words) [view diff] exact match in snippet view article find links to article

Barzilay; Stuart Allen (2002). Reflecting Higher-Order Abstract Syntax in Nuprl (PDF). Theorem Proving in Higher-Order Logics 2002. pp. 23–32. ISBN 3-540-44039-9