Partial inductive definitions as type-systems for λ-terms

1992 ◽  
Vol 32 (1) ◽  
pp. 30-44
Author(s):  
Daniel Fredholm ◽  
Svetozar Serafimovski
Keyword(s):  
Type Systems ◽  
Inductive Definitions ◽  
Partial Inductive Definitions

scholarly journals Partial inductive definitions

1991 ◽  
Vol 87 (1) ◽  
pp. 115-142 ◽  
Author(s):  
Lars Hallnäs
Keyword(s):  
Inductive Definitions ◽  
Partial Inductive Definitions

Models of partial inductive definitions

1991 ◽  
pp. 365-384
Author(s):  
Lars Hallnäs
Keyword(s):  
Inductive Definitions ◽  
Partial Inductive Definitions

Type Systems for Distributed Data Structures

1999 ◽  
Author(s):  
Ben Liblit ◽  
Alexander Aiken
Keyword(s):  
Data Structures ◽  
Type Systems ◽  
Distributed Data ◽  
Distributed Data Structures

Effects of activated carbon on treatment of photo-processing waste by sulfur-oxidizing bacteria

1997 ◽  
Vol 35 (7) ◽  
pp. 187-195 ◽  
Author(s):  
Binle Lin ◽  
K. Futono ◽  
A. Yokoi ◽  
M. Hosomi ◽  
A. Murakami
Keyword(s):  
Activated Carbon ◽  
Treatment Effectiveness ◽  
Environmental Concern ◽  
Type Systems ◽  
Continuous Treatment ◽  
Processing Waste ◽  
Treatment Technology ◽  
Adsorption Effect ◽  
Sulfur Oxidizing ◽  
Sulfur Oxidizing Bacteria

Establishing economic treatment technology for safe disposal of photo-processing waste (PW) has most recently become an urgent environmental concern. This paper describes a new biological treatment process for PW using sulfur-oxidizing bacteria (SOB) in conjunction with activated carbon (AC). Batch-type acclimation and adsorption experiments using SOB/PAC, SOB/PNAC, and SOB reactor type systems demonstrated that AC effectively adsorbs the toxic/refractory compounds which inhibit thiosulfate oxidization of SOB in PW. Thus, to further clarify the effect of AC, we performed a long-term (≈ 160 d) continuous-treatment experiment on 4- to 8-times dilution of PW using a SOB/GAC system which simulated a typical wastewater treatment system based on an aerobic activated sludge process that primarily uses acclimated SOB. The thiosulfate load and hydraulic retention time (HRT) were fixed during treatment such that they ranged from 0.8-3.7 kg S2O32-/l/d and 7.7-1.9 d, respectively. As expected, continuous treatment led to breakthrough of the adsorption effect of GAC. Renewing the GAC and continuing treatment for about 10 d demonstrated good treatment effectiveness.

MEDICAL CYBERNETICS AND BIOMECHANICS: THIRD TYPE SYSTEMS

2020 ◽  
Author(s):  
V. M. Es'kov ◽  
◽  
V. V. Grigorenko ◽  
N. B. Nazina ◽  
◽  
...  
Keyword(s):  
Type Systems

scholarly journals Pure patterns type systems

2003 ◽  
Vol 38 (1) ◽  
pp. 250-261 ◽  
Author(s):  
Gilles Barthe ◽  
Horatiu Cirstea ◽  
Claude Kirchner ◽  
Luigi Liquori
Keyword(s):  
Type Systems
Sign in / Sign up

Export Citation Format

Share Document