PCF meaning in Computing ?

Answer:

What is Programming Computable Functions mean?

In computer science, Programming Computable Functions (PCF) is a typed functional language introduced by Gordon Plotkin in 1977, based on previous unpublished material by Dana Scott. It can be considered to be an extended version of the typed lambda calculus or a simplified version of modern typed functional languages such as ML or Haskell.

A fully abstract model for PCF was first given by Milner (1977). However, since Milner's model was essentially based on the syntax of PCF it was considered less than satisfactory (Ong, 1995). The first two fully abstract models not employing syntax were formulated during the 1990s. These models are based on game semantics (Hyland and Ong, 2000; Abramsky, Jagadeesan, and Malacaria, 2000) and Kripke logical relations (O'Hearn and Riecke, 1995). For a time it was felt that neither of these models was completely satisfactory, since they were not effectively presentable. However, Ralph Loader demonstrated that no effectively presentable fully abstract model could exist, since the question of program equivalence in the finitary fragment of PCF is not decidable.

reference

Full Form	Category
Pressure Correction Factor	Academic & Science
Possible Cofinalities	Academic & Science
Peninsula College Fund	Academic & Science
Product Cost Function	Accounts and Finance
Putnam High Income Convertible & Bond Fund	Business
Petroleum Cleanup Fund	Business
Private&comm.	Business
Patient's Compensation Fund	Business
Philadelphia Cultural Fund	Business
Pattern Controlled Filter	Community
Public Citizen Foundation	Community
Pharmaceutical Compliance Forum	Community
Purple Community Fund	Community
Portland Chess Foundation	Community
Partners in Community Forestry	Community
Philippine Community Fund	Community
Personal Call Forwarding	Computer and Networking
Picture Clock Frequency	Computer and Networking
Prograph Control Flag	Computing
Packet Control Function	Computing
Portable Compiled Font	Computing
Profile Configuration File	Computing
Programming Computable Functions	Computing
Photonic Crystal Fan	Electronics
Profiler Command File (ms Source Profiler)	File Type
Pixel Coordination Format	File Type
Portable Compiled Format	File Type
Porsche Club Finland	General
Putting Christ First	General
Porsche Club Francorchamps	General
Panhard Club Finlande	General
Positive Center Feel	General
Polymer Cladded Fiber	General
Prague Car Festival	General
Chrysler Pacifica	General
Patrol Craft Fast	General
Percentage Closer Filtering	General
Personal Criteria Formula	General
Protein, Carbohydrates, And Fat	General
Porroprism Centre Focussing	General
Profiler command file	General
Parti Communiste Français	General
Pivotal Cloud Foundry	General
Process Classification FrameworkSM	General
Polyolefin Component Foams	General
Processed Chlorine Free	General
Probation Central File	General
Professional Capabilities Framework	General
Posterior Cervical Fusion	General
Publish Control File	General
Patient Care First	General
Programmable Command Format	General
Piping Component Files	General
Poker Chip Forum	General
Private Capital Flows	General
Pinkle Commy Fag	General
Porsche Club France	General
Prostate Cancer Foundation	General
Process Classification Framework	General
Participatory Culture Foundation	General
Pacific Coast Feather	General
Process Chlorine Free	General
Publishers Circulation Fulfillment	General
Pei Cobb Freed	General
Pediatric Cancer Foundation	General
Porro Center Focus	General
Posterior Cranial Fossa	General
Packaged Collaboration Files	General
Per Cubic Foot	General
Pattern Compressed Files	General
Protecting Critical Facilities	Governmental
Primary Collision Factor	Governmental
PENCHI	Indian Railway Station
Pounds Per Cubic Foot	Measurement Unit
Proteins Carbohydrates And Fats	Medical
Prototype Carbon Fund	Medical
Pediatric Cancer	Medical
Pharyngeal Conjunctival Fever	Medical
Prostate Cancer Fdn	Medical
Personnel Control Facility	Military and Defence
Photonic Crystal Fiber	Physics Related
Pattern Compressed File	Softwares
Process Command File	Softwares
Payload Control Facility	Space Science
Points Carried Forward	Sports
Point Coordination Function	Telecommunication