λ-Calculus Sample Clauses

λ-Calculus. The λ-calculus is a small yet powerful functional programming language. It was invented by Xxxxxx in the 1930s as part of a study into the general properties of functions, which he later developed into a set of postulates for the foundation of logic [37]. Unfortunately for him, the theory he proposed had to be abandoned a few years later when two of his former students Xxxxxx and Xxxxxx [76] found it to be inconsistent.3 However, the function notation he invented—which Xxxxxx claimed was explicitly motivated by the study—lives on in many different forms. Broadly speaking, it falls into two main categories: untyped and typed.
Sample 1
AutoNDA by SimpleDocs

Related to λ-Calculus

  • Payment Calculation District shall pay Contractor at a rate of $ per . OR District shall pay Contractor as described in attached Exhibit A

  • Certain Calculations Unless otherwise specified herein, the following provisions shall apply:

  • Allocation Schedule No later than three (3) Business Days prior to the Closing Date, the Company shall deliver to HighCape an allocation schedule (the “Allocation Schedule”) setting forth (a) the number and class of shares of Company Stock held by each Company Stockholder, (b) the number of shares of Company Stock subject to each Company Option and Company RSU held by each holder thereof, as well as whether each such Company Option will be a Vested Company Option or an Unvested Company Option as of immediately prior to the Effective Time and the exercise price thereof, (c) the number of shares of HighCape Class A Common Stock, New HighCape Class B Common Stock and Rollover Awards to be allocated to each holder at the Effective Time, (d) Company Cash, (e) Company Indebtedness, (f) the Aggregate Exercise Price, (g) the number of Deemed Acquired Shares, (h) the number of Net Vested Options, (i) the Per Share Merger Consideration Value, (j) the Per Share Calculation Value and (k) a certification, duly executed by an authorized officer of the Company, that (i) the information delivered pursuant to clauses (a) and (b) is, and will be as of immediately prior to the Effective Time, true and correct in all respects and in accordance with the last sentence of this Section 2.3, (ii) the information delivered pursuant to clauses (c) through (j) is, and will be as of immediately prior to the Effective Time based on the good faith estimate of the Company based on its books and records and (iii) the Company has performed, or otherwise complied with, as applicable, its covenants and agreements set forth in Section 2.4(b). The Company will review any comments to the Allocation Schedule provided by HighCape or any of its Representatives and consider in good faith any reasonable comments proposed by HighCape or any of its Representatives. Notwithstanding the foregoing or anything to the contrary herein, (A) the aggregate number of HighCape Common Stock that each Company Stockholder will have a right to receive pursuant to Section 2.1(b)(viii) will be rounded down to the nearest whole share and (B) in no event shall the Allocation Schedule (or the calculations or determinations therein) breach, as applicable, any applicable Law, the Governing Documents of the Company, the Company Stockholders Agreements, the Company Equity Plan or any other Contract to which the Company is a party or bound (taking into account, for the avoidance of doubt, any actions taken by the Company pursuant to Section 2.4(b).

  • Settlement Statement A settlement statement setting forth the amounts paid by or on behalf of and/or credited to each of Purchaser and Seller pursuant to this Agreement;

  • Preliminary Settlement Statement Seller and Buyer shall execute and deliver the Preliminary Settlement Statement.

  • Interest Calculation Except as otherwise stated in this Agreement, all interest and fees, if any, will be computed on the basis of a 360-day year and the actual number of days elapsed. This results in more interest or a higher fee than if a 365-day year is used. Installments of principal which are not paid when due under this Agreement shall continue to bear interest until paid.

  • Estimated Closing Statement Not less than two (2) Business Days prior to the Closing Date, the Seller shall prepare and deliver to the Buyer a statement (the “Estimated Closing Statement”), certified in writing by an executive officer of the Seller, setting forth, in reasonable detail, (i) the Seller’s good faith calculation, together with reasonably detailed supporting documentation, of the estimated Closing Date Net Working Capital (the “Estimated Closing Date Net Working Capital”) and the components thereof; (ii) the Estimated Working Capital Increase or Estimated Working Capital Decrease, as the case may be; and (iii) the resulting calculation of the Purchase Price (the resulting amount, the “Estimated Purchase Price”), in each case calculated pursuant to the Accounting Principles. The Seller and the Owner, during the period from the delivery of the Estimated Closing Statement through the Closing Date, shall, and shall cause their respective managers, officers, employees, accountants, and other relevant advisors to, provide the Buyer (and its auditors, advisors, counsel, and other representatives) reasonable access to the books and records, outside accounting firm, working papers (subject to the execution of customary access letters), personnel, and facilities of the Seller in order to complete their review of the Estimated Closing Statement and the calculations set forth therein, and the Seller shall consider in good faith any comments made by the Buyer to the Estimated Closing Statement. The Buyer’s failure to make any comment regarding, or to dispute any amount included in, the Estimated Closing Statement shall not limit, or have any effect on, the Buyer’s rights pursuant to Section 2.05(b) to conduct a review of the Estimated Closing Date Net Working Capital, the Estimated Working Capital Increase or Estimated Working Capital Decrease, as the case may be, and the resulting calculation of the Purchase Price. The Seller and the Owner shall cooperate with the Buyer’s review of the Estimated Closing Statement and the Buyer and the Seller shall negotiate in good faith prior to the Closing to resolve any reasonable objection the Buyer may have to the estimates or calculations contained therein.

  • Closing Statement (a) At least five (5) business days prior to the Closing Date, the Company shall submit to Buyer a written statement of estimated Current Assets and Current Liabilities as of the last day of the month immediately preceding the Closing Date (the "Estimated Closing Statement") containing the Company's good faith estimate of the Net Working Capital Amount (the "Estimated Net Working Capital Amount"), which shall reflect the items required to be set forth in, and be prepared in a manner consistent with the preparation of, the Closing Statement, in each case in accordance with Section 4.6(b); provided, however, that for purposes of the Estimated Net Working Capital Amount, the parties hereto agree that 50% of the amount of Fuel Sensor Damages (x) actually expended by Parent or the Company from March 1, 2011 through the last day of the month immediately preceding the Closing Date and (y) accrued as current liabilities on the Estimated Closing Statement, shall be added as a credit to the estimated Net Working Capital Amount set forth on the Estimated Closing Statement. Commencing with the Company's delivery of the Estimated Closing Statement to Buyer, Buyer shall have reasonable access to the books and records and personnel of the Company and the opportunity to consult with the Company for purposes of confirming or disputing the Estimated Net Working Capital Amount. If Buyer shall disagree, in good faith, with any item set forth in the Estimated Closing Statement or used to determine the Estimated Net Working Capital Amount, then Buyer and the Company shall work, in good faith, to reach agreement on such disputed items and the amounts as agreed to by Buyer and the Company shall constitute the Estimated Net Working Capital Amount. Notwithstanding the foregoing, Buyer's agreement with the Estimated Net Working Capital Amount (or any item set forth in the Estimated Closing Statement or used to determine the Estimated Net Working Capital Amount) shall not foreclose, prevent, limit or preclude any rights or remedy of Buyer set forth in this Agreement. If the Estimated Net Working Capital Amount is less than the Target Net Working Capital Amount, the amount of the Closing Payment to be paid by Buyer pursuant to Section 4.1(b)(i) shall be reduced by an amount equal to the difference between the Estimated Net Working Capital Amount and the Target Net Working Capital Amount. If the Estimated Net Working Capital Amount is more than the Target Net Working Capital Amount, the amount of the Closing Payment to be paid by Buyer pursuant to Section 4.1(b)(i) shall be increased by an amount equal to the difference between the Estimated Net Working Capital Amount and the Target Net Working Capital Amount.

  • Compensation Schedule Except as otherwise provided herein, employees shall be compensated within the pay range assigned to the classification of the position in which they are employed and in accordance with the pertinent conditions of employment enumerated in this Agreement. Sec. 503 REGULAR PAY DAY: Employees shall be paid on or about the Friday following the end of the biweekly payroll period.

  • Certain Calculations and Tests (a) Notwithstanding anything in this Agreement or any Loan Document to the contrary, when calculating any applicable ratio or determining other compliance with this Agreement (including the determination of compliance with any provision of this Agreement which requires that no Default or Event of Default has occurred, is continuing or would result therefrom) in connection with a Specified Transaction undertaken in connection with the consummation of a Limited Condition Acquisition, the date of determination of such ratio and determination of whether any Default or Event of Default has occurred, is continuing or would result therefrom or other applicable covenant shall, at the option of the Borrower (the Borrower’s election to exercise such option in connection with any Limited Condition Acquisition, an “LCA Election”), be deemed to be the date the definitive agreements for such Limited Condition Acquisition are entered into (the “LCA Test Date”) and if, after such ratios and other provisions are measured on a Pro Forma Basis after giving effect to such Limited Condition Acquisition and the other Specified Transactions to be entered into in connection therewith (including any incurrence of Indebtedness and the use of proceeds thereof) as if they occurred at the beginning of the four consecutive fiscal quarter period being used to calculate such financial ratio ending prior to the LCA Test Date, the Borrower could have taken such action on the relevant LCA Test Date in compliance with such ratios and provisions, such provisions shall be deemed to have been complied with. For the avoidance of doubt, (x) if any of such ratios are exceeded as a result of fluctuations in such ratio (including due to fluctuations in Consolidated EBITDA of the Borrower) at or prior to the consummation of the relevant Limited Condition Acquisition, such ratios and other provisions will not be deemed to have been exceeded as a result of such fluctuations solely for purposes of determining whether the Limited Condition Acquisition is permitted hereunder and (y) such ratios and other provisions shall not be tested at the time of consummation of such Limited Condition Acquisition or related Specified Transactions. If the Borrower has made an LCA Election for any Limited Condition Acquisition, then in connection with any subsequent calculation of any ratio or basket availability with respect to any other Specified Transaction on or following the relevant LCA Test Date and prior to the earlier of the date on which such Limited Condition Acquisition is consummated or the date that the definitive agreement for such Limited Condition Acquisition is terminated or expires without consummation of such Limited Condition Acquisition, any such ratio or basket shall be calculated on a Pro Forma Basis assuming such Limited Condition Acquisition and other transactions in connection therewith (including any incurrence of Indebtedness and the use of proceeds thereof) have been consummated; provided, that (other than solely with respect to the incurrence test under which such Limited Condition Acquisition is being made) Consolidated EBITDA, Consolidated Total Assets or assets and Consolidated Net Income of any target of such Limited Condition Acquisition can only be used in the determination of the relevant ratio and baskets if and when such Limited Condition Acquisition has closed.

Time is Money Join Law Insider Premium to draft better contracts faster.