Word:

PPLambda

(language)PPLambda - essentially the first-order predicate calculus superposed upon the simply-typed polymorphic lambda-calculus. PPLambda is the object language for LCF.

["Logic and Computation: Interactive Proof with Cambridge LCF", L. Paulson, Cambridge U Press, 1987].
Browse
Pozsony
Pozzuolana
PP
PP96
PPA
PPC
PPCP
PPD
PPDS
PPDU
PPE
PPGA
PPI
PPID
PPK
PPL
-- PPLambda --
PPLO
PPM
PPMI
PPMS
PPN
PPOP
PPP
PPPD
PPPoE
PPS
PPSN
PPSU
PPTP
PPU
PQET
PQFP
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home