Typed λ-Calculus Sample Clauses

Typed λ-Calculus. The untyped λ-calculus is undoubtedly a powerful language. However, its power comes at a price in that not all λ-terms terminate. For example, if Ω =df (λx. x x) (λx. x x) , then
Sample 1
AutoNDA by SimpleDocs

Related to Typed λ-Calculus

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

  • 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.

  • 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.

  • 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;

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

  • Progress Update Information included with the annual Data Access Request (DAR) renewal or Closeout summarizing the analysis of controlled-access datasets obtained through the DAR and any publications and presentations derived from the work.

  • 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).

  • Schedule Updates the Contractor agrees to maintain the Work duration schedule updates on an ongoing basis and, when the County requests it, include the updates in its payment request. The Contractor may be required to submit a narrative report with each monthly update which shall include a description of current and anticipated problem areas, delaying factors and their impact, and an explanation of corrective action taken or proposed. Failure to do so may be considered a material breach of the Contract. Any additional or unanticipated costs or expense required to maintain the schedules shall be solely the Contractor’s obligation and Contractor agrees not to charge the County.

  • Pro Forma Calculations Notwithstanding anything to the contrary herein (subject to Section 1.02(j)), the First Lien Net Leverage Ratio, the Total Net Leverage Ratio and the Fixed Charge Coverage Ratio and Consolidated Net Tangible Assets shall be calculated (including for purposes of Sections 2.14 and 2.15) on a Pro Forma Basis with respect to each Specified Transaction occurring during the applicable four quarter period to which such calculation relates, and/or subsequent to the end of such four-quarter period but not later than the date of such calculation; provided that notwithstanding the foregoing, when calculating the First Lien Net Leverage Ratio for purposes of (i) determining the applicable percentage of Excess Cash Flow for purposes of Section 2.05(b), (ii) the Applicable Rate, (iii) the Applicable Commitment Fee and (iv) determining actual compliance (and not Pro Forma Compliance or compliance on a Pro Forma Basis) with the Financial Covenant, any Specified Transaction and any related adjustment contemplated in the definition of Pro Forma Basis (and corresponding provisions of the definition of Consolidated EBITDA) that occurred subsequent to the end of the applicable four quarter period shall not be given Pro Forma Effect. For purposes of determining compliance with any provision of this Agreement which requires Pro Forma Compliance with the Financial Covenant, (x) in the case of any such compliance required after delivery of financial statements for the fiscal quarter ending on or about June 30, 2014, such Pro Forma Compliance shall be determined by reference to the maximum First Lien Net Leverage Ratio permitted for the fiscal quarter most recently then ended for which financial statements have been delivered (or were required to have been delivered) in accordance with Section 6.01, or (y) in the case of any such compliance required prior to the delivery referred to in clause (x) above, such Pro Forma Compliance shall be determined by reference to the maximum First Lien Net Leverage Ratio permitted for the fiscal quarter ending June 30, 2014. With respect to any provision of this Agreement (other than the provisions of Section 6.02(a) or Section 7.08) that requires compliance or Pro Forma Compliance with the Financial Covenant, such compliance or Pro Forma Compliance shall be required regardless of whether the Lux Borrower is otherwise required to comply with such covenant under the terms of Section 7.08 at such time. For purposes of making any computation referred to above:

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

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